Author Info
Name
Affiliation
Papers
BRUNO, M.A.
Univ Florence, Dipartimento Sistemi & Informat, I-50139 Florence, Italy
2
Collaborators
Citations 
PageRank 
4
7
0.95
Referers 
Referees 
References 
13
53
38
Title
Citations
PageRank
Year
Verification of external specifications of reactive systems50.562000
Verification criteria for a compositional model for reactive systems20.392000