MCLab Group List of Papers
Home
|
Show All
|
Simple Search
|
Advanced Search
Login
Quick Search:
Field:
main fields
author
title
publication
keywords
abstract
contains:
...
1–1 of 1 record found matching your query (
RSS
):
Search & Display Options
Search within Results:
Field:
author
title
year
keywords
abstract
type
publication
abbrev_journal
volume
issue
pages
thesis
publisher
place
editor
series_title
language
area
issn
isbn
notes
call_number
serial
contains:
...
Exclude matches
Display Options:
Style:
APA
AMA
MLA
Chicago
Harvard 1
Harvard 2
Harvard 3
Vancouver
Deep Sea Res
J Glaciol
Mar Biol
Text Citation
Sort by:
(custom)
author
year
type
type, year
date created
per page
Select All
Deselect All
<<
1
>>
List View
|
Citations
|
Details
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, and Enrico Tronci. "System Level Formal Verification via Model Checking Driven Simulation." In
Proceedings of the 25th International Conference on Computer Aided Verification. July 13-19, 2013, Saint Petersburg, Russia
, 296–312. Lecture Notes in Computer Science 8044. Springer - Verlag, 2013. ISSN: 0302-9743. ISBN: 978-3-642-39798-1. DOI:
10.1007/978-3-642-39799-8_21
.
Permanent link
| Save citation:
RTF
PDF
LaTeX
LaTeX .bbl
ASCII
| Export record:
BibTeX
Endnote
ISI
RIS
Atom XML
MODS XML
ODF XML
Word XML
Select All
Deselect All
<<
1
>>
List View
|
Citations
|
Details
Home
Library Search
|
Show Record
|
Extract Citations
Help