Theoretical Computer Science
SCOPE: A Situation Calculus Ontology of Petri Nets
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Formal Methods in Software and Systems Modeling
Hi-index | 0.00 |