Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings
Claus Schröter
◽
Victor Khomenko
Michael Haustermann
◽
David Mosteller
◽
Daniel Moldt
Su Liu
◽
Reng Zeng
◽
Zhuo Sun
◽
Xudong He
Wallace A. Pinheiro
◽
Geraldo Xexeo
◽
Jano M. de Souza
1994 ◽
Vol 25
(1)
◽
pp. 45-54
◽
2014 ◽
Vol 8
(16)
◽
pp. 2871-2880
◽
Lei Lei
◽
Huijian Wang
◽
Chuang Lin
◽
Zhangdui Zhong