共 50 条
- [3] A Lazy Unbounded Model Checker for EVENT-B FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5885 : 485 - +
- [6] Lazy B: Growing up on a cattle ranch in the American southwest NEW YORK TIMES BOOK REVIEW, 2002, : 22 - 22
- [7] Lazy-Update B plus -Tree for Flash Devices MDM: 2009 10TH INTERNATIONAL CONFERENCE ON MOBILE DATA MANAGEMENT, 2009, : 323 - 328