Logical Methods in Computer Science, Special Issue 8

> Home > Journals > Logical Methods in Computer Science

Selected Papers of the Conference "Tools and Algorithms for the Construction and Analysis of Systems 2007" [TACAS 2007]

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/JurdzinskiSL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/JurdzinskiSL08
Marcin Jurdzinski, Jeremy Sproston, François Laroussinie:
Model Checking Probabilistic Timed Automata with One or Two Clocks.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/ZhangHEJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/ZhangHEJ08
Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen:
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/EtessamiKVY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/EtessamiKVY08
Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis:
Multi-Objective Model Checking of Markov Decision Processes.
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0902-3958
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0902-3958
Laurent Doyen, Jean-François Raskin:
Antichains for the Automata-Based Approach to Model-Checking.
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0903-3126
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0903-3126
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu:
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes.

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.