Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

LTL Model Checking.

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Johannes Martin University of Stuttgart

Tim Martin University of Stuttgart

Jesus Antonio Martinez Zarate University of Stuttgart

Dr. Venancio Martinez Garcia University of Stuttgart

Univ. -Prof. Dr. -Ing. Ullrich Martin University of Stuttgart

Other publications of authors with the same name

Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.A. Verdejo, and N. Martí-Oliet. Formal Methods in System Design, 27 (1-2): 113-172 (2005)Preface to SCP special issue with extended selected papers from SBMF 2014.C. Braga, and N. Martí-Oliet. Sci. Comput. Program., (2016)Strategies and simulations in a semantic framework.N. Martí-Oliet, M. Palomino, and A. Verdejo. J. Algorithms, 62 (3-4): 95-116 (2007)Preface.N. Martí-Oliet, and J. Meseguer. Theor. Comput. Sci., 285 (2): 119-120 (2002)From Petri Nets to Linear Logic through Categories: A Survey.N. Martí-Oliet, and J. Meseguer. Int. J. Found. Comput. Sci., 2 (4): 297-399 (1991)Formalizing and Proving Semantic Relations between Specifications by Reflection.M. Clavel, N. Martí-Oliet, and M. Palomino. AMAST, volume 3116 of Lecture Notes in Computer Science, page 72-86. Springer, (2004)A Complete Declarative Debugger for Maude.A. Riesco, A. Verdejo, and N. Martí-Oliet. AMAST, volume 6486 of Lecture Notes in Computer Science, page 216-225. Springer, (2010)Playing with Maude.M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C. Talcott, M. Palomino, and A. Verdejo. All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)Debugging and Troubleshooting.M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)System Modules.M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)