Fluent model checking for event-based systems release_73i53wyqbrajfcq74mflgacpvq

by Dimitra Giannakopoulou, Jeff Magee

Published in ACM SIGSOFT Conference on the Foundations of Software Engineering by ACM Press.

2003   p257-266

Archived Files and Locations

application/pdf  248.5 kB
file_pylzbb5qm5fuvircefwxz7ids4
web.archive.org (webarchive)
ti.arc.nasa.gov (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
+ 7 more URLs
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2003
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: dd021393-9ec0-442c-880c-92a5a3567bb2
API URL: JSON