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.