TY - CONF TI - On the development of petri net template models for real time software design and verification AU - Ananidou, Dimitra AU - Hassapis, George AU - Kleftouris, Dimitrios PY - 2001 SP - 50-59 PB - Εκδοτικός Οργανισμός Λιβάνη T2 - 8th Panhellenic Conference in Informatics Proceedings (Volume 1) ER -