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