A. Masini

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1996

2 Marco Danelutto, G. Di Caprio, A. Masini: Parallelizing A Model Checker. PDPTA 1996: 1118-1128

1988

1 Marco Danelutto, A. Masini: A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems. CSL 1988: 63-79

	1996
2		Marco Danelutto, G. Di Caprio, A. Masini: Parallelizing A Model Checker. PDPTA 1996: 1118-1128
	1988
1		Marco Danelutto, A. Masini: A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems. CSL 1988: 63-79

Coauthor Index

1 G. Di Caprio [2]

2 Marco Danelutto [1] [2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

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