Graph explorer

Research map

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

Stochastic Timed Automata
Map detail
Stochastic Timed Automata9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipTopic signalAuthorshipAuthorshipAuthorshipStochastic Timed AutomataWStochastic Timed Automatapreprint / 2014Nathalie BertrandANathalie BertrandResearcherPatricia BouyerAPatricia BouyerResearcherThomas BrihayeAThomas BrihayeResearcherQuentin MenetAQuentin MenetResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksChristel BaierAChristel BaierResearcherMarcus GroesserAMarcus GroesserResearcherMarcin JurdzinskiAMarcin JurdzinskiResearcher
Paper8 links

Stochastic Timed Automata

preprint / 2014