default search action

combined dblp search
author search
venue search
publication search

ask others

4th Infinity 2002: Brno, Czech Republic

> Home > Conferences and Workshops > Infinity

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/infinity/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infinity/2002
Antonín Kucera, Richard Mayr:
4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002. Electronic Notes in Theoretical Computer Science 68(6), Elsevier 2003
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Huttel02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Huttel02
Hans Hüttel:
Deciding Framed Bisimilarity. 1-18
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/StribrnaC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/StribrnaC02
Jitka Stríbrná, Ivana Cerná:
Modifications of Expansion Trees for Weak Bisimulation in BPA. 19-39
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Colcombet02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Colcombet02
Thomas Colcombet:
Rewriting in the partial algebra of typed terms modulo AC. 40-54
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Rispal02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Rispal02
Chloe Rispal:
The synchronized graphs trace the context-sensitive languages. 55-70
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Cachat02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Cachat02
Thierry Cachat:
Uniform Solution of Parity Games on Prefix-Recognizable Graphs. 71-84
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkelRSB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkelRSB02
Alain Finkel, Jean-François Raskin, Mathias Samuelides, Laurent Van Begin:
Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. 85-106
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KuceraM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KuceraM02
Antonín Kucera, Richard Mayr:
Preface. 107-108

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.