Publikationen im Internet

[BMBF02] BMBF: IT-Forschung 2006, Förderprogramm Informations- und Kommunikationstechnik, 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/.
[EU01] EU: „WEISSBUCH: Die europäische Verkehrspolitik bis 2010: Weichenstellungen für die Zukunft“, europa.eu.int/comm/energy_transport/library/lb_texte_complet_de.pdf, 2001.
[HUB] Homepage der Berliner Forschergruppe für zeitabhängige Systeme und Petrinetz-Analyse (HU Berlin), www.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.html.
[Mo65] G. Moore:” Cramming more components onto integrated circuits”, Electronics, Volume 38, Number 8, April 19, 1965, www.intel.com/research/silicon/mooreslaw.htm.
[Petri] Internationale Petrinetz-Homepage (Aarhus, Dänemark), www.daimi.au.dk/PetriNets/
[TimAut] Übersichtsseite der MIT-Forschergruppe zu Timed Automata, theory.lcs.mit.edu/tds/timed-aut.html
[TINA] Homepage zum Analysator für Zeit-Petrinetze TINA, www.laas.fr/tina/.
[UF] Literaturdatenbank der Universität Freiburg, 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.