S | |
---|---|
[ST17] | Ocan Sankur and Jean-Pierre Talpin. An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols: Application to FTSP. In TACAS'17, Lecture Notes in Computer Science 10205. Springer-Verlag, April 2017. |
Search
Displayed 1 resultList of authors
- 1
- 1