Tim Kovse

According to our database, Tim Kovse authored at least 1 paper in 2009.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2009

Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation.

Tim Kovse, Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik

Proceedings of the Model Checking Software, 2009