B. Tofan

发表

J. Filliâtre, Wojciech Mostowski, Radu Grigore, 2011 .

W. Reif, G. Schellhorn, S. Bäumler, 2010 .

W. Reif, G. Schellhorn, S. Bäumler, 2009 .

W. Reif, G. Schellhorn, B. Tofan, 2011 .

Oleg Travkin, Gerhard Schellhorn, Heike Wehrheim, 2014, Sci. Comput. Program..

Gidon Ernst, Wolfgang Reif, Gerhard Schellhorn, 2014, Annals of Mathematics and Artificial Intelligence.

Wolfgang Reif, Gerhard Schellhorn, Simon Bäumler, 2010, MPC.

W. Reif, G. Schellhorn, G. Ernst, 2014, Annals of Mathematics and Artificial Intelligence.

Wolfgang Reif, Gerhard Schellhorn, Bogdan Tofan, 2014, IFM.

Gidon Ernst, Wolfgang Reif, Gerhard Schellhorn, 2014, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Gidon Ernst, Wolfgang Reif, Gerhard Schellhorn, 2011, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.

Wolfgang Reif, Gerhard Schellhorn, Bogdan Tofan, 2011, ICTAC.

Wolfgang Reif, Gerhard Schellhorn, Simon Bäumler, 2009, Formal Aspects of Computing.

Gidon Ernst, Radu Grigore, Vladimir Klebanov, 2011, FoVeOOS.

Wolfgang Reif, Gerhard Schellhorn, Bogdan Tofan, 2011 .

W. Reif, G. Schellhorn, S. Bäumler, 2009, Formal Aspects of Computing.