Dimitra Ananidou

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

2 George Hassapis, Dimitra Ananidou: Modeling and verification of a class of real-time systems by the use of High Level Petri Nets. Journal of Systems and Software 68(2): 153-165 (2003)

2001

1 Dimitra Ananidou, George Hassapis, Dimitris Kleftouris: High Level Timed Petri Net Templates for the Temporal Verification of Real-Time Multiprocessor Applications. Panhellenic Conference on Informatics 2001: 386-400

	2003
2		George Hassapis, Dimitra Ananidou: Modeling and verification of a class of real-time systems by the use of High Level Petri Nets. Journal of Systems and Software 68(2): 153-165 (2003)
	2001
1		Dimitra Ananidou, George Hassapis, Dimitris Kleftouris: High Level Timed Petri Net Templates for the Temporal Verification of Real-Time Multiprocessor Applications. Panhellenic Conference on Informatics 2001: 386-400

Coauthor Index