![](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
2nd Infinity 1997: Bologna, Italy
- Faron Moller:
Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997. Electronic Notes in Theoretical Computer Science 9, Elsevier 1997 - Faron Moller
:
Preface. 1 - Felice Balarin:
Verifying invariants by approximate image computation. 2-14 - Zakaria Bouziane, Alain Finkel:
Cyclic Petri net reachability sets are semi-linear effectively constructible. 15-24 - Olaf Burkart:
Model checking rationally restricted right closures of recognizable graphs. 25 - Dennis Dams, Rob Gerth:
The bounded retransmission protocol revisited. 26 - Alain Finkel, Bernard Willems, Pierre Wolper:
A direct symbolic approach to model checking pushdown systems. 27-37 - Laurent Fribourg, Hans Olsén:
Reachability sets of parameterized rings as regular languages. 40 - Petr Jancar, Antonín Kucera:
Bisimilarity of processes with finite-state systems. 41 - David Lesens, Hassen Saïdi:
Abstraction of parameterized networks. 42 - Géraud Sénizergues:
L(A) = L(B)? 43 - Jitka Stríbrná:
Decidability of strong bisimulation of basic parallel processes using Hilbert's basis theorem. 44
![](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.