Stateless model checking of event-driven applications release_p5tylayy3fblpix765mmedk5pa

by Casper S. Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin Vechev

Published in SIGPLAN notices by Association for Computing Machinery (ACM).

2015   Volume 50, Issue 10, p57-73

Archived Files and Locations

application/pdf  387.5 kB
file_5twv6erwufholkdplvxovg5scu
web.archive.org (webarchive)
cs.au.dk (web)
application/pdf  457.5 kB
file_zlaxfc2nh5dsfkg7zryvzyrqea
web.archive.org (webarchive)
www.srl.inf.ethz.ch (web)
Read Archived PDF
Archived
Type  article-journal
Stage   published
Date   2015-10-23
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registery
ISSN-L:  0362-1340
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 02ae8f87-6f8b-4ed5-9e8b-e8ba86676f88
API URL: JSON