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, and Enrico Tronci. "SyLVaaS: System Level Formal Verification as a Service." In
Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), special session on Formal Approaches to Parallel and Distributed Systems (4PAD)
., 2015. DOI:
10.1109/PDP.2015.119
.
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
