Enrico Marzano

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

1 Enrico Marzano, Angelo Montanari, Alberto Policriti: Binary Extensions of S1S and the Composition Method. Verification: Theory and Practice 2003: 626-644

	2003
1		Enrico Marzano, Angelo Montanari, Alberto Policriti: Binary Extensions of S1S and the Composition Method. Verification: Theory and Practice 2003: 626-644

Coauthor Index

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page