Martin R. Neuhäußer
发表
Lijun Zhang,
Martin R. Neuhäußer,
Lijun Zhang,
2010,
TACAS.
Martin Leucker,
Martin R. Neuhäußer,
Grigory Markin,
2015,
Haifa Verification Conference.
Joost-Pieter Katoen,
Tingting Han,
Martin R. Neuhäußer,
2012,
NASA Formal Methods.
Joost-Pieter Katoen,
Martin R. Neuhäußer,
Daniel Klink,
2009,
FORMATS.
Martin R. Neuhäußer,
M. Neuhäußer,
2010
.
Lijun Zhang,
Martin R. Neuhäußer,
Lijun Zhang,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Thomas Noll,
Martin R. Neuhäußer,
2006,
WRLA.
Thomas Noll,
Martin R. Neuhäußer,
Tim Lange,
2013,
Haifa Verification Conference.
Thomas Noll,
Martin R. Neuhäußer,
Tim Lange,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Verena Wolf,
Martin R. Neuhäußer,
Linar Mikeev,
2012,
Formal Methods in System Design.
Joost-Pieter Katoen,
Mariëlle Stoelinga,
Martin R. Neuhäußer,
2009,
FoSSaCS.
Erika Ábrahám,
Martin R. Neuhäußer,
Johanna Nellen,
2016,
Inf. Syst. Frontiers.
Joost-Pieter Katoen,
Thomas Noll,
Martin R. Neuhäußer,
2018,
SPIN.
Joost-Pieter Katoen,
Martin R. Neuhäußer,
J. Katoen,
2007,
CONCUR.
Martin R. Neuhäußer,
Lijun Zhang,
Lijun Zhang,
2009
.