dc.contributor.author | Phan, Q-S | en_US |
dc.contributor.author | Malacaria, P | en_US |
dc.contributor.author | Pasareanu, CS | en_US |
dc.date.accessioned | 2015-03-23T08:32:44Z | |
dc.date.issued | 2015-02 | en_US |
dc.identifier.issn | 0163-5948 | en_US |
dc.identifier.other | 1 | |
dc.identifier.other | 1 | |
dc.identifier.other | 1 | |
dc.identifier.other | 1 | en_US |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/6899 | |
dc.description | The Definitive Version can be found in the ACM Digital Library here: http://dx.doi.org/10.1145/2693208.2693240 | |
dc.description | issue_date: January 2015 numpages: 5 acmid: 2693240 keywords: Bounded Model Checking, Concurrency, Symbolic Execution | |
dc.description | issue_date: January 2015 numpages: 5 acmid: 2693240 keywords: Bounded Model Checking, Concurrency, Symbolic Execution | |
dc.description | issue_date: January 2015 numpages: 5 acmid: 2693240 keywords: Bounded Model Checking, Concurrency, Symbolic Execution | en_US |
dc.format.extent | 1 - 5 | en_US |
dc.publisher | ACM | en_US |
dc.relation.ispartof | SIGSOFT Softw. Eng. Notes | en_US |
dc.title | Concurrent Bounded Model Checking | en_US |
dc.type | Article | |
dc.identifier.doi | 10.1145/2693208.2693240 | en_US |
pubs.notes | No embargo | en_US |
pubs.publisher-url | http://doi.acm.org/10.1145/2693208.2693240 | en_US |
pubs.volume | 40 | en_US |