Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Khac Tuan Huynh
Sanjeev K. Srivastava
Maryam Bibi
Eleni Moustaka
Viktor Vad
Javier Pérez-Marcos
Marcos Aurélio Domingues
Bo Li
Mathieu Huard
Tao Yihan
Home
/
Author
/
S. GRAF
Author Info
Open Visualization
Name
Papers
Collaborators
S. GRAF
1
4
Citations
PageRank
Referers
234
18.04
348
Referees
References
32
24
Search Limit
100
348
Publications (1 rows)
Collaborators (4 rows)
Referers (100 rows)
Referees (32 rows)
Title
Citations
PageRank
Year
Property preserving abstractions for the verification of concurrent systems
234
18.04
1995
1
