Compositional Specification of a Multi-Agent System by Stochastically and Dynamically Coloured Petri Nets
Everdij, M.H.C.; Klompstra, M.B.; Blom, H.A.P.; Klein Obbink, B.
National Aerospace Laboratory NLR
NLR-TP-2006-688
2006
Return to NLR corporate site |