2008
Experience applying the SPIN model checker to an industrial telecommunications system.
[DOI]
Barry Long
,
Jürgen Dingel
,
T. C. Nicholas Graham
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008