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.