Jani Lampinen

According to our database, Jani Lampinen authored at least 1 paper in 2009.

Collaborative distances:

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

2009

The LIME Interface Specification Language and Runtime Monitoring Tool.

Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä

Proceedings of the Runtime Verification, 9th International Workshop, 2009