Implementing a model checker for LEGO (0)

by S Yu, Z Luo
Venue:FME ’97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science