Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Introduction to Formal Models;Models and Analysis in Distributed Systems;2013-03-06
2. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10
3. The Abstract State Machines Method for High-Level System Design and Analysis;Formal Methods: State of the Art and New Directions;2009-11-14
4. A formally grounded software specification method;The Journal of Logic and Algebraic Programming;2006-04
5. From Conditional Specifications to Interaction Charts;Formal Methods in Software and Systems Modeling;2005