Author:
Jin Xiaoqing,Ciardo Gianfranco,Kim Tae-Hyong,Zhao Yang
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. BEEM models, http://anna.fi.muni.cz/models/cgi/models.cgi
2. Event-B examples, http://wiki.event-b.org/index.php/Event-B_Examples
3. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 35(8), 677–691 (1986)
4. Ciardo, G., Marmorstein, R., Siminiceanu, R.: The saturation algorithm for symbolic state space exploration. STTT 8(1), 4–25 (2006)
5. Lecture Notes in Computer Science;G. Ciardo,2002