Stefan Schwoon
发表
Hernán C. Melgratti,
Ricardo J. Rodríguez,
J. Gabarró,
2011
.
Benedikt Bollig,
Serge Haddad,
Benoît Barbot,
2013
.
Stefan Schwoon,
2012
.
J. Esparza,
Stefan Schwoon,
Dejvuth Suwimonteerabuth,
2006
.
Javier Esparza,
Peter Rossmanith,
Stefan Schwoon,
2000,
Bull. EATCS.
W. Brauer,
B. König,
Stefan Schwoon,
2022
.
S. Haar,
Stefan Schwoon,
Loïc Paulevé,
2022,
GandALF.
Amol Bakshi,
Anastasios Gounaris,
Alexandru Jugravu,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
S. Haddad,
S. Haar,
Stefan Schwoon,
2013
.
Stefan Haar,
Loïc Paulevé,
Stefan Schwoon,
2020,
CMSB.
Somesh Jha,
Thomas W. Reps,
Stefan Schwoon,
2003,
16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
Stefan Schwoon,
Stefan Schwoon,
2013
.
Javier Esparza,
Stefan Schwoon,
Dejvuth Suwimonteerabuth,
2006,
ATVA.
Hao Wang,
Somesh Jha,
Thomas W. Reps,
2006,
TACAS.
Somesh Jha,
Thomas W. Reps,
Stefan Schwoon,
2003,
Sci. Comput. Program..
Javier Esparza,
Antonín Kucera,
Stefan Schwoon,
2001,
Inf. Comput..
Stefan Schwoon,
Stefan Schwoon,
2002
.
Javier Esparza,
Antonín Kucera,
Stefan Schwoon,
2001,
TACS.
J. Esparza,
Stefan Schwoon,
P. Rossmanith,
2000,
CAV.
Andrea Corradini,
Paolo Baldan,
Barbara König,
2010,
ICGT.
Andrea Corradini,
Paolo Baldan,
Barbara König,
2008,
Trans. Petri Nets Other Model. Concurr..
Stefan Schwoon,
Andreas Gaiser,
Stefan Schwoon,
2009,
MEMICS.
Javier Esparza,
Stefan Schwoon,
J. Esparza,
2005,
TACAS.
Victor Khomenko,
César Rodríguez,
Stefan Schwoon,
2013,
Petri Nets.
Sylvain Schmitz,
Stefan Haar,
Béatrice Bérard,
2017,
Petri Nets.
Javier Esparza,
Stefan Kiefer,
Stefan Schwoon,
2006,
J. Satisf. Boolean Model. Comput..
Paolo Baldan,
César Rodríguez,
Stefan Schwoon,
2011,
CONCUR.
César Rodríguez,
Stefan Schwoon,
César Rodríguez,
2011,
DCFS.
Serge Haddad,
Stanislav Böhm,
Stefan Haar,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).
Thomas Chatain,
Stefan Haar,
Loïc Paulevé,
2014,
CMSB.
Serge Haddad,
Stefan Haar,
Stefan Schwoon,
2013,
J. Comput. Syst. Sci..
Lina Ye,
Stefan Haar,
Stefan Schwoon,
2020,
FSTTCS.
David Chisnall,
Hernán C. Melgratti,
Ricardo J. Rodríguez,
2020,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Javier Esparza,
Loïg Jezequel,
Stefan Schwoon,
2013,
FSTTCS.
H Germany,
France.,
Finland.,
2016,
Lecture Notes in Computer Science.
Rohit Chadha,
Stefan Schwoon,
Umang Mathur,
2014,
FSTTCS.
Javier Esparza,
Stefan Schwoon,
Claus Schröter,
2003,
ICATPN.
Pierre Ganty,
Javier Esparza,
Stefan Schwoon,
2005,
SAS.
Christian Kern,
Stefan Haar,
Stefan Schwoon,
2011,
Theor. Comput. Sci..
César Rodríguez,
Stefan Schwoon,
César Rodríguez,
2012,
CONCUR.
Stefan Schwoon,
Umang Mathur,
Rohit Chadha,
2014,
FSTTCS.
Sylvain Schmitz,
Stefan Haar,
Béatrice Bérard,
2017,
Petri Nets.