Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Clayton D. Scott
muljowidodo kartidjo
Berrin Aytac
Duzgun, H.Sebnem
Jean Jourdan
Roland Zumkeller
Maximilian Dürr
Dan Graur
Jie Tian
Che Wun Chiou
Home
/
Paper
/
Spot the Difference - A Detailed Comparison Between B and Event-B.
Paper Info
Open Visualization
Title
Spot the Difference - A Detailed Comparison Between B and Event-B.
Year
DOI
Venue
2021
10.1007/978-3-030-76020-5_9
Logic, Computation and Rigorous Methods
DocType
Citations
PageRank
Conference
0
0.34
References
Authors
0
1
Authors (1 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Michael Leuschel
1
2156
135.89
1