J. Leubcke

According to our database, J. Leubcke authored at least 1 paper in 1999.

Collaborative distances:

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

1999

On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming.

J. Leubcke, Ulf Nilsson

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999