Toggle navigation
Login
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
Concurrent Bounded Model Checking
QMRO Home
School of Electronic Engineering and Computer Science
Theoretical Computer Science Group
Concurrent Bounded Model Checking
QMRO Home
School of Electronic Engineering and Computer Science
Theoretical Computer Science Group
Concurrent Bounded Model Checking
Browse
All of QMRO
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Administrators only
Login
Statistics
Most Popular Items
Statistics by Country
Most Popular Authors
Concurrent Bounded Model Checking
View/
Open
Accepted version (277.3Kb)
Volume
40
Pagination
1 - 5
Publisher
ACM
Publisher URL
http://doi.acm.org/10.1145/2693208.2693240
DOI
10.1145/2693208.2693240
Journal
SIGSOFT Softw. Eng. Notes
ISSN
0163-5948
Metadata
Show full item record
Authors
Phan, Q-S; Malacaria, P; Pasareanu, CS
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/6899
Collections
Theoretical Computer Science Group
[25]