![](/img/cover-not-exists.png)
[ACM Press the 2014 International SPIN Symposium - San Jose, CA, USA (2014.07.21-2014.07.23)] Proceedings of the 2014 International SPIN Symposium on Model Checking of Software - SPIN 2014 - CTL+FO verification as constraint solving
Beyene, Tewodros A., Brockschmidt, Marc, Rybalchenko, AndreyYear:
2014
Language:
english
DOI:
10.1145/2632362.2632364
File:
PDF, 309 KB
english, 2014