Yan Jurski
Identifiers
- name variant Yan Jurski 0.60 · backfill
Papers (1)
- A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes cs.LO · 2009 · author #4
Mentions
- 0903.3126 #4 · backfill · confidence 0.70 Yan Jurski
Frequent Coauthors
- Ahmed Bouajjani 1 shared papers
- Cezara Dragoi 1 shared papers
- Constantin Enea 1 shared papers
- Mihaela Sighireanu 1 shared papers