![](/img/cover-not-exists.png)
Deductive verification of alternating systems
Matteo Slanina, Henny B. Sipma, Zohar MannaVolume:
20
Language:
english
Pages:
54
DOI:
10.1007/s00165-008-0075-6
Date:
July, 2008
File:
PDF, 1.82 MB
english, 2008