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

Roberto Giacobazzi (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


49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Elisa Quintarelli: Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. SAS 2001: 356-373
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Dovier, Roberto Giacobazzi, Elisa Quintarelli: Refining and Compressing Abstract Model Checking. Electr. Notes Theor. Comput. Sci. 48: 90-107 (2001)

Selection of 2 from 92 records - Roberto Giacobazzi has 46 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