Author:
de Boer Frank S.,Jaghoori Mohammad Mahdi,Johnsen Einar Broch
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
2. The ASK community systems,
http://www.ask-cs.com/
3. Lecture Notes in Computer Science;F.S. Boer de,2007
4. Lecture Notes in Computer Science;F.S. Boer de,2009
5. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoretical Computer Science 285(2), 187–243 (2002)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献