Peter Csaba Ölveczky

发表

Peter Csaba Ölveczky, Indranil Gupta, José Meseguer, 2016 .
Peter Csaba Ölveczky, Narciso Martí-Oliet, Carolyn L. Talcott, 2015, Logic, Rewriting, and Concurrency.
Peter Csaba Ölveczky, Cyrille Artho, 2015, Communications in Computer and Information Science.
Peter Csaba Ölveczky, Erika Ábrahám, Muhammad Fadlisyah, 2010, RTRTS.
Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2007, CALCO.
Peter Csaba Ölveczky, Indranil Gupta, José Meseguer, 2019, Formal Aspects of Computing.
Peter Csaba Ölveczky, Marco Caccamo, P. C. Ölveczky, 2006, FASE.
Peter Csaba Ölveczky, José Meseguer, 2006, WRLA.
Peter Csaba Ölveczky, Erika Ábrahám, Muhammad Fadlisyah, 2012, WRLA.
Peter Csaba Ölveczky, Edmund M. Clarke, Sicun Gao, 2016, HSCC.
Peter Csaba Ölveczky, Artur Boronat, José Meseguer, 2010, FMOODS/FORTE.
Peter Csaba Ölveczky, Jon Grov, P. C. Ölveczky, 2013, Globe.
Peter Csaba Ölveczky, Christiano Braga, 2015, Lecture Notes in Computer Science.
Peter Csaba Ölveczky, Indranil Gupta, José Meseguer, 2016, SAC.
Peter Csaba Ölveczky, Sigurd Meldal, P. C. Ölveczky, 2007 .
Peter Csaba Ölveczky, 2004 .
Peter Csaba Ölveczky, Leon Bendiksen, 2009, CALCO.
Peter Csaba Ölveczky, José Meseguer, 2012, Theor. Comput. Sci..
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2016, J. Log. Algebraic Methods Program..
Peter Csaba Ölveczky, Cyrille Artho, 2017, Sci. Comput. Program..
Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky, 2017, SEFM Workshops.
Peter Csaba Ölveczky, 2017 .
Peter Csaba Ölveczky, Stian Thorvaldsen, P. C. Ölveczky, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Peter Csaba Ölveczky, José Meseguer, P. C. Ölveczky, 2007, High. Order Symb. Comput..
Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2019, All About Maude.
Peter Csaba Ölveczky, Erika Ábrahám, Daniela Lepri, 2013, CALCO.
Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott, 2002, Proceedings DARPA Active Networks Conference and Exposition.
Peter Csaba Ölveczky, Narciso Martí-Oliet, Carolyn L. Talcott, 2015, Lecture Notes in Computer Science.
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2015 .
Peter Csaba Ölveczky, 2017 .
Peter Csaba Ölveczky, P. C. Ölveczky, 2017, TTCS.
Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott, 2001, FASE.
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2016 .
Peter Csaba Ölveczky, José Meseguer, 1996, WRLA.
Peter Csaba Ölveczky, Kyungmin Bae, 2015, Logic, Rewriting, and Concurrency.
Peter Csaba Ölveczky, Lui Sha, José Meseguer, 2009 .
Peter Csaba Ölveczky, José Meseguer, 2008, TACAS.
Peter Csaba Ölveczky, Indranil Gupta, José Meseguer, 2018 .
Peter Csaba Ölveczky, Olav Lysne, P. C. Ölveczky, 1996, ALP.
Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott, 2006, Formal Methods Syst. Des..
Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani, 2015, Sci. Comput. Program..
Peter Csaba Ölveczky, P. C. Ölveczky, 2010, Lecture Notes in Computer Science.
Peter Csaba Ölveczky, Erika Ábrahám, Daniela Lepri, 2012, WRLA.
Peter Csaba Ölveczky, 2011, Formal Modeling: Actors, Open Systems, Biological Systems.
Peter Csaba Ölveczky, Erika Ábrahám, Daniela Lepri, 2010, RTRTS.
Peter Csaba Ölveczky, 2017, Undergraduate Topics in Computer Science.
Peter Csaba Ölveczky, José Meseguer, 2004, FASE.
Peter Csaba Ölveczky, Muhammad Fadlisyah, 2013, CALCO.
Peter Csaba Ölveczky, José Meseguer, 2004, WRLA.
Peter Csaba Ölveczky, Erika Ábrahám, Daniela Lepri, 2015, Sci. Comput. Program..
Peter Csaba Ölveczky, 2017 .
Peter Csaba Ölveczky, José Meseguer, P. C. Ölveczky, 2002, Theor. Comput. Sci..
Peter Csaba Ölveczky, José Meseguer, Mark-Oliver Stehr, 2001, Unifying Petri Nets.
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2014, WRLA.
Peter Csaba Ölveczky, 2017 .
Peter Csaba Ölveczky, Narciso Martí-Oliet, 2012, J. Log. Algebraic Methods Program..
Peter Csaba Ölveczky, Erika Ábrahám, Muhammad Fadlisyah, 2011, SEFM.
Peter Csaba Ölveczky, Indranil Gupta, José Meseguer, 2017, ICFEM.
Peter Csaba Ölveczky, Kyungmin Bae, P. C. Ölveczky, 2018, Lecture Notes in Computer Science.
Peter Csaba Ölveczky, José Meseguer, Kyungmin Bae, 2012, FTSCS.
Peter Csaba Ölveczky, Cyrille Artho, P. C. Ölveczky, 2014, Communications in Computer and Information Science.
Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani, 2013, FTSCS.
Peter Csaba Ölveczky, José Meseguer, Kyungmin Bae, 2014, Sci. Comput. Program..
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2017 .
Peter Csaba Ölveczky, Kyungmin Bae, P. C. Ölveczky, 2010, RTRTS.
Peter Csaba Ölveczky, Kyungmin Bae, José Meseguer, 2012, FASE.
Peter Csaba Ölveczky, Edward A. Lee, Stavros Tripakis, 2012, Sci. Comput. Program..
Peter Csaba Ölveczky, Francisco Durán, José Eduardo Rivera, 2011, AMMSE.
Peter Csaba Ölveczky, Indranil Gupta, José Meseguer, 2018, FASE.
Peter Csaba Ölveczky, Martin Wirsing, Piotr Kosiuczenko, 1995, Formal Methods for Industrial Applications.
Peter Csaba Ölveczky, José Meseguer, Min Zhang, 2019, TACAS.
Peter Csaba Ölveczky, Stavros Tripakis, Kyungmin Bae, 2009, ICFEM.
Peter Csaba Ölveczky, Jon Grov, P. C. Ölveczky, 2014, Specification, Algebra, and Software.
Peter Csaba Ölveczky, Martin Grimeland, 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.
Peter Csaba Ölveczky, Cyrille Artho, 2013, Communications in Computer and Information Science.
Peter Csaba Ölveczky, José Meseguer, Mark-Oliver Stehr, 2001, UNIGRA.
Peter Csaba Ölveczky, Erika Ábrahám, Muhammad Fadlisyah, 2015, Sci. Comput. Program..
Peter Csaba Ölveczky, Artur Boronat, 2010, FASE.
Peter Csaba Ölveczky, Kyungmin Bae, José Meseguer, 2011, ICFEM.
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2018, WRLA@ETAPS.
Peter Csaba Ölveczky, Cyrille Artho, P. C. Ölveczky, 2019, Sci. Comput. Program..
Peter Csaba Ölveczky, José Meseguer, 2007, Electron. Notes Theor. Comput. Sci..
Peter Csaba Ölveczky, José Meseguer, Si Liu, 2015, Software, Services, and Systems.
Peter Csaba Ölveczky, José Meseguer, Kyungmin Bae, 2014, FM.
Peter Csaba Ölveczky, Jon Grov, P. C. Ölveczky, 2014, SEFM.
Peter Csaba Ölveczky, Cyrille Artho, 2017, Sci. Comput. Program..
Peter Csaba Ölveczky, José Meseguer, Kyungmin Bae, 2012, FACS.
Peter Csaba Ölveczky, Cyrille Artho, 2018, Communications in Computer and Information Science.
Peter Csaba Ölveczky, 2014, WRLA.
Peter Csaba Ölveczky, Lucian Bentea, P. C. Ölveczky, 2011, FORMATS.
Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky, 2018, NFM.
Peter Csaba Ölveczky, Antonio González-Burgueño, 2019, FSEN.
Peter Csaba Ölveczky, Elisabeth Lien, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Peter Csaba Ölveczky, Xue Liu, Pavithra Prabhakar, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.
Peter Csaba Ölveczky, 2021 .
Peter Csaba Ölveczky, Kyungmin Bae, 2021, ACM Trans. Embed. Comput. Syst..
Peter Csaba Ölveczky, Cyrille Artho, 2021, Sci. Comput. Program..
Peter Csaba Ölveczky, Gwen Salaün, 2021, Softw. Syst. Model..
Peter Csaba Ölveczky, Jaehun Lee, Sharon Kim, 2021, CAV.
Peter Csaba Ölveczky, Antonio González-Burgueño, 2021, J. Log. Algebraic Methods Program..