Model Checking Vector Addition Systems with one zero-test
Rémi Bonnet
◽
Alain FInkel
◽
Jérôme Leroux
◽
Marc Zeitoun
Ahmed Bouajjani
◽
Richard Mayr
Michel Blockelet
◽
Sylvain Schmitz
Matthew L. Bolton
◽
Ellen J. Bass
James Kapinski
◽
Alexandre Donze
◽
Flavio Lerda
◽
Hitashyam Maka
◽
Edmund Clarke
◽
...
2019 ◽
Vol 13
(3)
◽
pp. 1
ALIYU E. O.
◽
ADEWALE O. S.
◽
ADETUNMBI A. O.
◽
OJOKOH B. A.
◽
◽
...