![](/img/cover-not-exists.png)
[ACM Press the 10th international workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] Proceedings of the 10th international workshop on Formal methods for industrial critical systems - FMICS '05 - Enhancing random walk state space exploration
Pelánek, Radek, Hanžl, Tomáš, Černá, Ivana, Brim, LubošYear:
2005
Language:
english
DOI:
10.1145/1081180.1081193
File:
PDF, 155 KB
english, 2005