Graph explorer

Research map

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

Pavel Krcal
Map detail
Pavel Krcal3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipPavel KrcalAPavel KrcalResearcherSampled Semantics of Timed AutomataWSampled Semantics of Ti...preprint / 2010Various Ways to Quantify BDMPsWVarious Ways to Quantif...preprint / 2020
Person2 links

Pavel Krcal

Researcher