Publications

AuthID
P-003-S3E

Author(s)

Editor(s)

Bensalem, S; Peled, DA

Document Type

Proceedings Paper

Year published

2009

Published

in RUNTIME VERIFICATION in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5779, Pages: 115-131 (17)

Conference

9Th International Workshop on Runtime Verification, Date: JUN 26-28, 2009, Location: Grenoble, FRANCE

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1007/978-3-642-04694-0_9

DBLP: conf/rv/NunesLV09

SCOPUS: 2-s2.0-70549084008

Wos: WOS:000273623300009

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links