Barry Long

According to our database, Barry Long authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Experience applying the SPIN model checker to an industrial telecommunications system.

Barry Long, Jürgen Dingel, T. C. Nicholas Graham

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008