Author:
Firley Thomas,Huhn Michaela,Diethers Karsten,Gehrke Thomas,Goltz Ursula
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.
2. Lect Notes Comput Sci;R. Alur,1996
3. Grady Booch, james Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
4. Werner Damm and David Harel. LSCs: Breathing life into Message Sequence Charts. In 3rd IFIP Int. Conference on Formal Methods for Open Object-Based Distributed Systems, (FMOODS’99), pages 293–312. Kluwer Academic Publishers, 1999.
5. Bruce P. Douglass. Real-Time UML. Addison-Wesley, 1998.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献