ABG AFV AIN ASPa ASPb AWP Abschlu Adian Algorithmen Alur Andreas Anil Arbeitspapiere Armin Arto Astrid Augusto Auswertung Barjis Bauknecht Behandlung Behaviour BibNet BibTeX Biometrie C CAV CCD CCL CH CODEN COMP COMPUT CRC CSS CTL Capellmann Carlos Centre Cesena Co D DLT DQK DRL DWN Darmstadt Das Dassow Datenschutz Datenverarbeitung Demant Desel Deutschen Dezember E EEP EIS EP EPI Epidemologie Erreichbarkeitsanalyse Erreichbarkeitsgraphen Erreichbarkeitsproblem Estrada FAX FLS FMICS Farhad Farrer Fatahi Formale Forschungszentrum Fri GMD GMDS Galvez Gesellschaft Grzegorz Henzinger Holbein IFC IFPLAT ISBN ISO ISSN ITHEM InProceedings Inf Informatics Informatik Informationstechnik Inst Internet Iu J JSSODM Jahrestagung Juli Jurgen K Krankenhausinformationssysteme L LCCN LECT LETT LFC LFCS LNAI LNCS LNCSD LaTeX Lugano MDT MPE MRclass MRnumber MST Magdeburg Margaria Matiiasevich MedInfo Medizinische Misc MobiMed Mon Morger NORDSEC Nerode Netlib Nie Niessner Nitsche Nordic Normale O Oberweis Ochsenschl Othmar P PEI PLT PROC PROLOG PSA PSC Passau Petrinetze PhdThesis Preproceedings Problematik Produktnetze Produktnetzen Projekts Pte QA Qualit R RLB Rajeev Reisig Repp Res Rieke Rozenberg SCPGD SERVINT SERVINTII SH SHL SIW SOFTW SV SVT Salomaa Sep Solovay's Spezifikations Str T TCSCDI THEOR TKT TMA TechReport Telekom Teufel Thessaloniki Thu Tiziana Toulouse U UCS URL Ulm Ulrich Ultes Universit V VBA VCO VMB VTL Vanani Verifikationsmethoden Werkzeuge Winterthurer Wolper Yaroslavl ZGT Zwischenbericht ack acknowledgement adr als alttitle apr aug b bericht bibdate bibmods bibnames bibnet bibsource bibsql booktitle ch codetable com confaddress corpsource crossref dec der des docstring edu eingeschr email erieur f feb fjournal ftp ger howpublished htm http ifi ihre j jucs jul jun ltx n nd ner netlib nhfb nitsche nkte o org pdf r rd rg rgen sciencedirect ser showtags st t th tocs tskriterium twocolumn u ulrich und unizh utah wc www x xii xvii xx xxvolume zur