EPTCS 99 - GRAPHITE 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-6118
- ask others
Anton Wijs, Dragan Bosnacki, Stefan Edelkamp (Eds.): Proceedings First Workshop on GRAPH Inspection and Traversal Engineering. 2012 EPTCS 99 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-6411
- ask others
Andreas Beckmann, Jaroslaw Fedorowicz, Jörg Keller, Ulrich Meyer: A structural analysis of the A5/1 state transition graph. ... 5-19
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-6412
- ask others
Elise Cormie-Bowins: A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities. ... 20-34
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-6413
- ask others
Eduardo Zambon, Arend Rensink: Graph Subsumption in Abstract State Space Exploration. ... 35-49
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-6414
- ask others
Gijs Kant, Jaco van de Pol: Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games. ... 50-65
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-6415
- ask others
Stefan Edelkamp, Peter Kissmann, Álvaro Torralba: Lex-Partitioning: A New Option for BDD Search. ... 66-82