A temporal logic approach to implementation and refinement in timed Petri nets
2005 ◽
pp. 365-381
◽
1995 ◽
Vol 115
(7)
◽
pp. 914-919
2013 ◽
Vol E96.A
(2)
◽
pp. 540-553
1986 ◽
Vol 5
(2)
◽
pp. 89-101
◽
1999 ◽
Vol 29
(3)
◽
pp. 245-254
◽
Keyword(s):