![](/img/cover-not-exists.png)
[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Theory-aided model checking of concurrent transition systems
Katz, Guy, Barrett, Clark, Harel, DavidYear:
2015
Language:
english
DOI:
10.1109/fmcad.2015.7542256
File:
PDF, 1.32 MB
english, 2015