dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

José Meseguer (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo: Some Tools. All About Maude 2007: 667-693
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristiano Braga, José Meseguer: Modular Rewriting Semantics in Practice. Electr. Notes Theor. Comput. Sci. 117: 393-416 (2005)
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Meseguer, Christiano Braga: Modular Rewriting Semantics of Programming Languages. AMAST 2004: 364-378
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AMAST 2000: 407-421

Selection of 5 from 292 records - José Meseguer has 117 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page