Volume 42; Issue 4

1

Automated formal analysis and verification: an overview

Year:
2013
Language:
english
File:
PDF, 265 KB
english, 2013
3

Some decidable results on reachability of solvable systems

Year:
2013
Language:
english
File:
PDF, 248 KB
english, 2013
6

Bell's theorem from Moore's theorem

Year:
2013
Language:
english
File:
PDF, 138 KB
english, 2013
8

EDITORIAL: 2012 IJGS Best Paper Award

Year:
2013
Language:
english
File:
PDF, 57 KB
english, 2013