[Projektübersicht]

Publikationen im Internet

www.it2006.de/it-forschung_2006.pdf, 2002

[Boer01] Boer, Gabrielli, Meo, Timed Concurrent Constraint Languages: A Comparison, www.cwi.nl/projects/alp/newsletter/nov01/nav/palamidessi/europa.eu.int/comm/energy_transport/library/lb_texte_complet_de.pdfwww.informatik.hu-berlin.de/lehrstuehle/automaten/research.html.

[ITRS02] The International Technology Roadmap for Semiconductors, public.itrs.net, 2002.

[Medea02] Medea+ EDA-Roadmap, www.medeaplus.org/webpublic/publ_relation_eda.htm, 2002.

[MLD] Homepage von MLDesigner (MLDesign Technologies Inc.), www.mldesigner.com/mldesigner.htmlwww.intel.com/research/silicon/mooreslaw.htmwww.daimi.au.dk/PetriNets/theory.lcs.mit.edu/tds/timed-aut.htmlwww.laas.fr/tina/ira.informatik.uni-freiburg.de/cgi-bin/search/search

[Upp] UPPAAL: A Tool Suite for Verification of Real-Time Systems, www.brics.dk/FormalMethods/UPPALL.html.