![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
1st GRAPHITE 2012: Tallinn, Estonia
- Anton Wijs, Dragan Bosnacki, Stefan Edelkamp:
Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012, Tallinn, Estonia, 1st April 2012. EPTCS 99, 2012 - Andreas Beckmann, Jaroslaw Fedorowicz, Jörg Keller, Ulrich Meyer:
A structural analysis of the A5/1 state transition graph. 5-19 - Elise Cormie-Bowins:
A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities. 20-34 - Eduardo Zambon, Arend Rensink:
Graph Subsumption in Abstract State Space Exploration. 35-49 - Gijs Kant, Jaco van de Pol:
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games. 50-65 - Stefan Edelkamp, Peter Kissmann, Álvaro Torralba
:
Lex-Partitioning: A New Option for BDD Search. 66-82
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.