Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Nicholas R. Hedley
Hao Mao
Peter Malec
Giovanni Venturelli
Jieyu Zhao
Chen Ma
Zhuoan Jiao
Radu Timofte
Kuanrui Yin
Home
/
Author
/
CHRISTOPHE LIMBRÉE
Author Info
Open Visualization
Name
Papers
Collaborators
CHRISTOPHE LIMBRÉE
1
1
Citations
PageRank
Referers
0
0.34
0
Referees
References
0
0
Publications (1 rows)
Collaborators (1 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway.
0
0.34
2018
1