Author:
Augusto Juan C.,Butler Michael,Ferreira Carla,Craig Stephen-John
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Augusto, J., Butler, M.: Some Observations About Using SPIN and STeP to Verify StAC Specifications. Technical report, DSSE-TR-2002-9, Electronics and Computer Science Department, University of Southampton, 34 pages (2002)
2. Abrial, J.: The B-Book: Assigning Programs to Meanings. Cambridge University, Cambridge (1996)
3. Bjorner, N., Browne, A., Colon, M., Finkbeiner, B., Manna, Z., Sipma, B., Uribe, T.: Verifying temporal properties of reactive systems: A step tutorial. Formal Methods in System Design 16, 227–270 (1999)
4. Lecture Notes in Computer Science;M. Butler,2000
5. Chessell, M., Griffin, C., Vines, D., Butler, M., Ferreira, C., Henderson, P.: Extending the concept of transaction compensation. IBM Journal of Systems and Development 41(4), 743–758 (2002)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献