Author:
Dotti Fernando L.,Duarte Lucio M.,Foss Luciana,Ribeiro Leila,Russi Daniela,dos Santos Osmar M.
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. Petri nets tool database, 〈http://www.daimi.au.dk/PetriNets/tools/db.html〉 (Accessed: September 2004)
2. Arief, L. and N. Speirs, A uml tool for an automatic generation of simulation programs, in: Proceedings of the second international workshop on Software and performance (2000), pp. 71–76
3. The Java programming language;Arnold,1997
4. Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism;Biberstein,2001
5. Maude: specification and programming in rewriting logic;Clavel;Theoretical Computer Science,2002
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献