Implementing a Model Checker for LEGO (1997)

Cached

Download Links

by Shenwei Yu , Zhaohui Luo
Venue:Proc. of the 4th Inter Symp. of Formal Methods Europe, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods
Citations:14 - 3 self