Title
Direct verification of bisimulations
Year
Venue
Field
1996
FORTE
Transition system,Computer science,Theoretical computer science,Bisimulation
DocType
ISBN
Citations 
Conference
0-412-79490-X
2
PageRank 
References 
Authors
0.47
4
3
Name
Order
Citations
PageRank
Martín Llamas Nistal110835.60
Juan Quemada238597.36
Manuel J. Fernández Iglesias32814.58