M. Butler
发表
M. Leuschel,
M. Butler,
2003
.
Colin Snook,
Michael Butler,
M. Butler,
2000
.
M. Butler,
1993
.
U. Ultes-Nitsche,
M. Leuschel,
P. Henderson,
2006
.
Joey W. Coleman,
A. Iliasov,
J. Coleman,
2005
.
M. Butler,
Mohammadsadegh Dalvandi,
A. Rezazadeh,
2015
.
Divakar Yadav,
M. Butler,
2007
.
Michael Butler,
M. Butler,
2012
.
Michael Butler,
M. Butler,
2010
.
M. Butler,
1998
.
M. Butler,
1998
.
M. Butler,
R. Back,
1994
.
P. Hartel,
A. Gravell,
M. Leuschel,
1999
.
P. Hartel,
M. Butler,
1998,
TOPL.
Sylvain Conchon,
Fatiha Zaïdi,
Michael Butler,
2007
.
Sylvain Conchon,
Fatiha Zaïdi,
Michael Butler,
2015,
Lecture Notes in Computer Science.
Egon Börger,
Jonathan P. Bowen,
Michael Butler,
2008
.
Kaisa Sere,
Luigia Petre,
Michael Butler,
2002
.
Wolfram Schulte,
Michael Butler,
Wolfram Schulte,
2011,
FM.
M. Butler,
Tetsuo Fukuzaki,
Shaoying Liu,
2022,
Connect. Sci..
Michael Butler,
Renato Silva,
Andrew Edmunds,
2012
.
Michael J. Butler,
Stefan Hallerstede,
S. Hallerstede,
2004,
Formal Aspects of Computing.
Shengchao Qin,
Michael J. Butler,
Richard Banach,
2015,
Sci. Comput. Program..
Michael Leuschel,
Michael Butler,
Manoranjan Satpathy,
2006
.
Thai Son Hoang,
Michael J. Butler,
Farhad Mehta,
2010,
International Journal on Software Tools for Technology Transfer.
Michael J. Butler,
M. Butler,
2009,
IFM.
Michael Butler,
Colin Snook,
M. Butler,
2008,
ICSE 2008.
M. Butler,
R. Back,
2007
.
Ralph-Johan Back,
Michael J. Butler,
M. Butler,
1998,
Acta Informatica.
Ralph-Johan Back,
Michael J. Butler,
M. Butler,
1995,
MPC.
Michael J. Butler,
Renato Silva,
M. Butler,
2010,
FMCO.
Michael J. Butler,
Michael Leuschel,
M. Leuschel,
2008,
International Journal on Software Tools for Technology Transfer.
Michael J. Butler,
Leonid Mikhailov,
M. Butler,
2002,
ZB.
Thai Son Hoang,
Michael Butler,
Dana Dghaym,
2019,
MEDI Workshops.
Thai Son Hoang,
Dana Dghaym,
Colin Snook,
2019,
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS).
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2018,
ICFEM.
Michael J. Butler,
Sanaz Yeganefard,
M. Butler,
2013,
2013 IEEE 14th International Conference on Information Reuse & Integration (IRI).
Michael J. Butler,
Sanaz Yeganefard,
M. Butler,
2012,
2012 IEEE 17th International Conference on Engineering of Complex Computer Systems.
Michael J. Butler,
Sanaz Yeganefard,
M. Butler,
2011,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Michael J. Butler,
Abdolbaghi Rezazadeh,
Sanaz Yeganefard,
2010,
NASA Formal Methods.
Peter Henderson,
Michael J. Butler,
Mandy Chessell,
2002,
IBM Syst. J..
Michael J. Butler,
Michael Leuschel,
M. Leuschel,
2003,
FME.
Simon L. Peyton Jones,
Cliff B. Jones,
Murali Sitaraman,
2006,
GPCE '06.
Cliff B. Jones,
Elena Troubitsyna,
Michael Butler,
2009,
Methods, Models and Tools for Fault Tolerance.
Michael J. Butler,
M. Butler,
1996,
Sci. Comput. Program..
Michael J. Butler,
Divakar Yadav,
Divakar Yadav,
2009,
Methods, Models and Tools for Fault Tolerance.
Michael J. Butler,
Divakar Yadav,
Divakar Yadav,
2006,
RODIN Book.
Michael J. Butler,
Michael Leuschel,
Stéphane Lo Presti,
2004,
Trusting Agents for Trusting Electronic Societies.
Michael J. Butler,
Mohammadsadegh Dalvandi,
Abdolbaghi Rezazadeh,
2017,
Sci. Comput. Program..
Michael J. Butler,
Michael Leuschel,
Edd Turner,
2010,
ASM.
Michael J. Butler,
Jean-Raymond Abrial,
Stefan Hallerstede,
2006,
ICFEM.
Colin F. Snook,
Michael J. Butler,
M. Butler,
2006,
TSEM.
Michael Butler,
Marielle Doche,
Anna Mikhailova,
2002
.
Michael J. Butler,
M. Butler,
1999,
Sci. Comput. Program..
Michael J. Butler,
Asieh Salehi Fathabadi,
Abdolbaghi Rezazadeh,
2015,
Formal Aspects of Computing.
Michael J. Butler,
Asieh Salehi Fathabadi,
Abdolbaghi Rezazadeh,
2012,
SEFM.
Andrew Edmunds,
Abdolbaghi Rezazadeh,
Michael Butler,
2011
.
Michael J. Butler,
Michael Leuschel,
Thierry Lecomte,
2020,
FMICS.
M. Butler,
C. Snook,
Son Hoang,
2022,
Innovations in Systems and Software Engineering.
Shengchao Qin,
Michael J. Butler,
Richard Banach,
2017,
Sci. Comput. Program..
Gudmund Grov,
Michael J. Butler,
Andrew Ireland,
2013,
Sci. Comput. Program..
Michael J. Butler,
Vitaly Savicks,
John Colley,
2014,
ABZ.
Michael Butler,
Alexander Romanovsky,
Elena Troubitsyna,
2006
.
Cliff B. Jones,
E. Troubitsyna,
A. Romanovsky,
2005
.
Michael J. Butler,
M. Butler,
2012,
Formal Aspects of Computing.
Michael J. Butler,
Michael Poppleton,
Ali Gondal,
2011,
SC@TOOLS.
Michael J. Butler,
Asieh Salehi Fathabadi,
Abdolbaghi Rezazadeh,
2011,
NASA Formal Methods.
Michael Butler,
Andrew Edmunds,
M. Butler,
2011
.
Shamim Ripon,
Michael J. Butler,
M. Butler,
2010,
ArXiv.
Shamim Ripon,
Michael J. Butler,
M. Butler,
2010,
ArXiv.
Michael Butler,
Renato Silva,
M. Butler,
2009
.
Shamim Ripon,
Michael J. Butler,
M. Butler,
2009,
AVoCS.
Michael J. Butler,
Andrew Edmunds,
M. Butler,
2008,
Refine@FM.
Michael J. Butler,
Michael Leuschel,
M. Leuschel,
2005,
ICFEM.
Michael J. Butler,
Michael Leuschel,
M. Leuschel,
2005,
FM.
Michael J. Butler,
Carla Ferreira,
Muan Yong Ng,
2005,
J. Univers. Comput. Sci..
C. A. R. Hoare,
Michael J. Butler,
Carla Ferreira,
2004,
25 Years Communicating Sequential Processes.
Michael J. Butler,
Michael Leuschel,
Stéphane Lo Presti,
2004,
iTrust.
Michael J. Butler,
Carla Ferreira,
M. Butler,
2004,
COORDINATION.
Juan Carlos Augusto,
Michael J. Butler,
Carla Ferreira,
2003,
Ershov Memorial Conference.
Michael Leuschel,
Michael Butler,
Laksono Adhianto,
2001
.
Michael J. Butler,
Carla Ferreira,
M. Butler,
2000,
IFM.
Michael J. Butler,
M. Butler,
1999,
Formal Aspects of Computing.
Michael Butler,
M. Butler,
1998
.
Michael J. Butler,
M. Butler,
1997,
ZUM.
Thai Son Hoang,
Michael Butler,
Colin Snook,
2018,
Lecture Notes in Computer Science.
M. Butler,
Renato Silva,
2011
.
Michael Butler,
M. Butler,
2009
.
Corina Cîrstea,
Michael Butler,
Chenyang Zhu,
2020,
Sci. Comput. Program..
Michael J. Butler,
Vitaly Savicks,
John Colley,
2014,
SummerSim.
Vitaly Savicks,
Michael Butler,
John Colley,
2014
.
Colin F. Snook,
Thai Son Hoang,
Michael J. Butler,
2017,
Sci. Comput. Program..
Klaus-Dieter Schewe,
Atif Mashkoor,
Michael Butler,
2016,
Lecture Notes in Computer Science.
Michael J. Butler,
Elisabeth Ball,
Elisabeth Ball,
2009,
Methods, Models and Tools for Fault Tolerance.
Colin F. Snook,
Rachel Harrison,
Michael J. Butler,
2000,
IWSM.
M. Leuschel,
M. Butler,
2008,
Int. J. Softw. Tools Technol. Transf..
Michael Butler,
Colin Snook,
Michael Butler,
2004
.
Colin F. Snook,
Michael J. Butler,
Michael Leuschel,
2005,
Abstract State Machines.
Ian Johnson,
Michael Butler,
Colin Snook,
2004
.
Colin F. Snook,
Michael J. Butler,
Vitaly Savicks,
2010,
FMCO.
Michael Butler,
John Colley,
M. Butler,
2009
.
Michael J. Butler,
Richard Banach,
R. Banach,
2013,
CSDM.
Carroll Morgan,
Michael J. Butler,
Carroll Morgan,
2005,
Formal Aspects of Computing.
Michael J. Butler,
Richard Banach,
R. Banach,
2016,
ICFEM.
Michael J. Butler,
Jean-Raymond Abrial,
Kriangsak Damchoom,
2008,
ICFEM.
Michael J. Butler,
Michael Poppleton,
Jennifer Sorge,
2010,
ASM.
Michael J. Butler,
Michael Leuschel,
Edd Turner,
2007,
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Edd Turner,
Michael Butler,
M. Butler,
2006
.
Thai Son Hoang,
Michael J. Butler,
Renato Silva,
2011,
Softw. Pract. Exp..
Michael Leuschel,
Michael Butler,
S. Lo Presti,
2005
.
Michael J. Butler,
Michael Leuschel,
Manoranjan Satpathy,
2004,
MBT.
Corina Cîrstea,
Michael Butler,
Chenyang Zhu,
2020,
Sci. Comput. Program..
Corina Cîrstea,
Michael Butler,
Chenyang Zhu,
2020,
2020 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Michael Butler,
Chenyang Zhu,
Corina Cirstea,
2019,
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Michael J. Butler,
Mohammadsadegh Dalvandi,
Abdolbaghi Rezazadeh,
2015,
FSEN.
Michael J. Butler,
Mohammadsadegh Dalvandi,
Abdolbaghi Rezazadeh,
2015
.
Michael J. Butler,
Issam Maamria,
M. Butler,
2013,
Theories of Programming and Formal Methods.
Michael J. Butler,
Thomas Långbacka,
M. Butler,
1996,
TPHOLs.
Thai Son Hoang,
Michael J. Butler,
James Snook,
2018,
SETTA.
Jon Postel,
Michael Butler,
Joyce K. Reynolds,
1985,
RFC.
Michael J. Butler,
John Colley,
Ashish Darbari,
2016,
ArXiv.