Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Rémi Bonnet
Map detail
Rémi Bonnet3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipRémi BonnetARémi BonnetResearcherAnalysis of Probabilistic Basic Parallel ProcessesWAnalysis of Probabilist...preprint / 2014Model Checking Vector Addition Systems with one zero-testWModel Checking Vector A...preprint / 2012
Person2 links

Rémi Bonnet

Researcher