Jan Bretschneider
发表
Christian Stahl,
Peter Massuthe,
Jan Bretschneider,
2009,
Trans. Petri Nets Other Model. Concurr..
Wolfgang Reisig,
Dirk Fahland,
Niels Lohmann,
2007,
Formal Methods and Hybrid Real-Time Systems.