Action Planning for Directed Model Checking of Petri Nets
2006 ◽
Vol 149
(2)
◽
pp. 3-18
◽
Stefan Edelkamp
◽
Shahid Jabbar
R. Hadjidj
◽
H. Boucheneb
Karsten Strehl
◽
Lothar Thiele
Stefan Edelkamp
◽
Viktor Schuppan
◽
Dragan Bošnački
◽
Anton Wijs
◽
Ansgar Fehnker
◽
...
Julia Padberg
◽
Alexander Schulz
Bernard Berthomieu
◽
Florent Peres
◽
François Vernadat
Shahid Jabbar
◽
Stefan Edelkamp
2020 ◽
Vol E103.D
(3)
◽
pp. 702-705
Nao IGAWA
◽
Tomoyuki YOKOGAWA
◽
Sousuke AMASAKI
◽
Masafumi KONDO
◽
Yoichiro SATO
◽
...
Ahmad Siyar Andisha
◽
Martin Wehrle
◽
Bernd Westphal
Ho T. Dung
◽
Bui H. Thang
◽
Quan T. Tho