B | |
---|---|
[BDL+12] | Peter Bulychev,
Alexandre David,
Kim Guldstrand Larsen,
Axel Legay,
Marius Mikučionis, and
Danny Bøgsted Poulsen.
Checking and Distributing Statistical Model
Checking.
In NFM'12,
Lecture Notes in Computer Science 7226, pages 449-463. Springer-Verlag, April 2012.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
- 1
- 1
- 1