J. Leubcke

Publication Activity (10 Years)

Years Active: 1999-1999
Publications (10 Years): 0

Publications

J. Leubcke, Ulf Nilsson
On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming. ECOOP Workshops (1999)