A. Masini

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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]