Joost-Pieter Katoen
-
Coloured Petri Nets for Chronicle Recognition
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies