Implementing a model checker for LEGO (1997)

by S Yu, Z Luo
Venue:In Formal Methods Europe