Survey on Directed Model Checking
Stefan Edelkamp
◽
Viktor Schuppan
◽
Dragan Bošnački
◽
Anton Wijs
◽
Ansgar Fehnker
◽
...
Shahid Jabbar
◽
Stefan Edelkamp
Ahmad Siyar Andisha
◽
Martin Wehrle
◽
Bernd Westphal
2006 ◽
Vol 149
(2)
◽
pp. 3-18
◽
Stefan Edelkamp
◽
Shahid Jabbar
2008 ◽
Vol 11
(1)
◽
pp. 27-37
◽
Klaus Dräger
◽
Bernd Finkbeiner
◽
Andreas Podelski
Martin Wehrle
◽
Sebastian Kupferschmid
◽
Andreas Podelski
Stefan Edelkamp
◽
Shahid Jabbar
Martin Wehrle
◽
Malte Helmert
Shahid Jabbar
◽
Stefan Edelkamp
2012 ◽
Vol 49
(5)
◽
pp. 313-341
◽
Antonella Santone
◽
Gigliola Vaglini
Sebastian Kupferschmid
◽
Jörg Hoffmann
◽
Henning Dierks
◽
Gerd Behrmann