dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

George Hassapis (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge 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)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDimitra 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

Selection of 2 from 14 records - George Hassapis has 17 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page