The system verification methodology for advanced TLM verification
release_uvdfxsquevglppocuxu2ybk3pa
by
Marcio F.S. Oliveira,
Christoph Kuznik,
Hoang M. Le,
Daniel Große,
Finn Haedicke,
Wolfgang Mueller,
Rolf Drechsler,
Wolfgang Ecker,
Volkan Esen
Archived Files and Locations
application/pdf
512.7 kB
file_pc4fyyyimbhjpjc523kh7kiuue
| |
application/pdf
210.5 kB
file_73o4zrqbancxnojhyzwrxiypre
|
web.archive.org (webarchive) web.archive.org (webarchive) www.informatik.uni-bremen.de (web) web.archive.org (webarchive) |
paper-conference
Stage
published
Year 2012
access all versions, variants, and formats of this works (eg, pre-prints)
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar