%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@psi.math.utah.edu on Tue Feb 19 16:41:12 MST 2013 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1}~\cite{#2}} \fi \NAMECITE{$^*$}{% Nitsche:1997:IFC% }. \NAMECITE{$\omega$}{% Niessner:1997:DRL,% Niessner:1998:DRL% }. \NAMECITE{-Regular}{% Niessner:1997:DRL,% Niessner:1998:DRL% }. \NAMECITE{/Telekom}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{{31}}{% Alur:1996:CAV% }. \NAMECITE{{31-August}}{% Alur:1996:CAV% }. \NAMECITE{4th}{% Adian:1997:LFC% }. \NAMECITE{8th}{% Alur:1996:CAV% }. \NAMECITE{'94}{% Nerode:1994:LFC% }. \NAMECITE{'96}{% Alur:1996:CAV% }. \NAMECITE{'97}{% Adian:1997:LFC% }. \NAMECITE{{Abschlu{\ss}bericht}}{% Demant:1995:ABG,% Demant:1996:ABG% }. \NAMECITE{Abstract}{% Morger:1997:MPE,% Nitsche:1997:RLB% }. \NAMECITE{Abstraction}{% Capellmann:1996:CSS,% Capellmann:1996:VBA,% Nitsche:1994:VMB,% Nitsche:1996:VBA,% Nitsche:1997:RLB,% Nitsche:1998:AFV,% Nitsche:19xx:VCO% }. \NAMECITE{Abstractions}{% Nitsche:1994:VTL% }. \NAMECITE{adequate}{% Barjis:2007:TMA% }. \NAMECITE{aided}{% Alur:1996:CAV% }. \NAMECITE{Angeles}{% ACM:1994:PTA% }. \NAMECITE{Annual}{% ACM:1994:PTA% }. \NAMECITE{Application}{% Nitsche:1998:AFV% }. \NAMECITE{Applications}{% Wagner:1997:PEI% }. \NAMECITE{Approach}{% Bauknecht:1997:MAP% }. \NAMECITE{Approximately}{% Nitsche:1995:ASP,% Nitsche:1996:ASPa,% Nitsche:1996:ASPb% }. \NAMECITE{Approximation}{% Ultes-Nitsche:2002:DWN% }. \NAMECITE{August}{% ACM:1994:PTA,% ACM:1997:PSA,% Alur:1996:CAV% }. \NAMECITE{Auswertung}{% Nitsche:1988:EPI% }. \NAMECITE{automata}{% Ultes-Nitsche:2007:PSC% }. \NAMECITE{Barbara}{% ACM:1997:PSA% }. \NAMECITE{Based}{% Nitsche:1994:VMB% }. \NAMECITE{Behandlung}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{Behavior}{% Capellmann:1996:VBA,% Nitsche:1996:VBA,% Nitsche:1997:RLB% }. \NAMECITE{Behaviour}{% Capellmann:1996:CSS,% Nitsche:1998:AFV,% Nitsche:19xx:VCO% }. \NAMECITE{biology}{% Dassow:1996:DLT% }. \NAMECITE{Brunswick}{% Alur:1996:CAV% }. \NAMECITE{{B{\"u}chi}}{% Ultes-Nitsche:2007:PSC% }. \NAMECITE{California}{% ACM:1994:PTA,% ACM:1997:PSA% }. \NAMECITE{Care}{% Morger:1997:SCM,% Morger:1998:PEP% }. \NAMECITE{Case}{% Capellmann:1996:CSS,% Capellmann:1996:VBA% }. \NAMECITE{{CAV}}{% Alur:1996:CAV% }. \NAMECITE{characterization}{% Niessner:2007:CCD% }. \NAMECITE{Co}{% Nitsche:19xx:VCO% }. \NAMECITE{Co-Operating}{% Nitsche:19xx:VCO% }. \NAMECITE{complete}{% Niessner:2007:CCD% }. \NAMECITE{Computation}{% Nitsche:1997:IFC% }. \NAMECITE{Computer}{% Alur:1996:CAV,% Adian:1997:LFC,% Dassow:1996:DLT,% Nerode:1994:LFC% }. \NAMECITE{Computing}{% ACM:1994:PTA,% ACM:1997:PSA% }. \NAMECITE{Concerns}{% Morger:1997:SCM% }. \NAMECITE{conference}{% Alur:1996:CAV% }. \NAMECITE{construction}{% Ultes-Nitsche:2007:PSC% }. \NAMECITE{crossroads}{% Dassow:1996:DLT% }. \NAMECITE{{CTL}}{% Nitsche:1997:IFC% }. \NAMECITE{Database}{% Wagner:1997:PEI% }. \NAMECITE{{Datenschutz}}{% Morger:1997:DQK% }. \NAMECITE{degree}{% Ultes-Nitsche:2007:PSC% }. \NAMECITE{Detection}{% Capellmann:1996:CSS,% Capellmann:1996:VBA% }. \NAMECITE{determinism}{% Ultes-Nitsche:2007:PSC% }. \NAMECITE{Deterministic}{% Niessner:1997:DRL,% Niessner:1998:DRL,% Niessner:2007:CCD% }. \NAMECITE{Developments}{% Dassow:1996:DLT% }. \NAMECITE{Distributed}{% ACM:1994:PTA,% ACM:1997:PSA,% Nitsche:1996:VBA% }. \NAMECITE{Do}{% Ultes-Nitsche:2002:DWN% }. \NAMECITE{Efficiency}{% Morger:1997:MPE,% Morger:1998:PEP% }. \NAMECITE{Eighth}{% Wagner:1997:PEI% }. \NAMECITE{eingeschr{\"a}nkte}{% Nitsche:1991:EEP% }. \NAMECITE{{EIS}}{% Barjis:2007:TMA% }. \NAMECITE{Enterprise}{% Augusto:2004:SIW% }. \NAMECITE{{Erreichbarkeitsanalyse}}{% Nitsche:1991:EP% }. \NAMECITE{{Erreichbarkeitsgraphen}}{% Nitsche:1988:EPI% }. \NAMECITE{Erreichbarkeitsproblem}{% Nitsche:1991:EEP% }. \NAMECITE{Expert}{% Wagner:1997:PEI% }. \NAMECITE{Extended}{% Nitsche:1997:RLB% }. \NAMECITE{Finitary}{% Nitsche:1996:FLS% }. \NAMECITE{Focused}{% Morger:1998:PEP% }. \NAMECITE{Formal}{% Capellmann:1996:CSS,% Nitsche:1998:AFV% }. \NAMECITE{Formale}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{Formulas}{% Nitsche:1994:VTL% }. \NAMECITE{foundations}{% Adian:1997:LFC,% Nerode:1994:LFC% }. \NAMECITE{France}{% Wagner:1997:PEI% }. \NAMECITE{Full}{% Nitsche:1997:IFC% }. \NAMECITE{Germany}{% Dassow:1996:DLT% }. \NAMECITE{GMD}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{GMD-}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{GMD-/Telekom-Projekts}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{Graphs}{% Nitsche:1994:VTL% }. \NAMECITE{Health}{% Morger:1997:SCM,% Morger:1998:PEP% }. \NAMECITE{Homomorphic}{% Nitsche:1994:VMB% }. \NAMECITE{Homomorphisms}{% Nitsche:1994:PLT,% Nitsche:1994:SHL,% Nitsche:1995:ASP,% Nitsche:1996:ASPa,% Nitsche:1996:ASPb% }. \NAMECITE{ihre}{% Nitsche:1988:EPI% }. \NAMECITE{{II}}{% Dassow:1996:DLT% }. \NAMECITE{Infinite}{% Nitsche:1997:IFC% }. \NAMECITE{Information}{% Augusto:2004:SIW,% Morger:1997:SCM% }. \NAMECITE{Intelligent}{% Capellmann:1996:VBA,% Nitsche:1998:AFV% }. \NAMECITE{Interaction}{% Capellmann:1996:CSS,% Capellmann:1996:VBA,% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT,% Nitsche:1998:AFV% }. \NAMECITE{International}{% Augusto:2004:SIW,% Wagner:1997:PEI,% Adian:1997:LFC,% Alur:1996:CAV,% Nerode:1994:LFC% }. \NAMECITE{Interpretation}{% Nitsche:1997:IFC% }. \NAMECITE{July}{% Adian:1997:LFC,% Alur:1996:CAV,% Dassow:1996:DLT,% Nerode:1994:LFC% }. \NAMECITE{{Krankenhausinformationssysteme}}{% Morger:1997:DQK% }. \NAMECITE{Language}{% Nitsche:1994:PLT,% Nitsche:1995:ASP,% Nitsche:1996:ASPa,% Nitsche:1996:FLS,% Dassow:1996:DLT,% Nitsche:1996:ASPb% }. \NAMECITE{Large}{% Nitsche:1994:VTL,% Nitsche:1996:VBA% }. \NAMECITE{{LFCS}}{% Adian:1997:LFC,% Nerode:1994:LFC% }. \NAMECITE{Linear}{% Nitsche:1994:PLT,% Nitsche:1994:SHL,% Nitsche:1996:FLS% }. \NAMECITE{Liveness}{% Niessner:1997:DRL,% Niessner:1998:DRL,% Nitsche:1997:RLB,% Ultes-Nitsche:2002:DWN,% Niessner:2007:CCD% }. \NAMECITE{Logic}{% Nitsche:1994:PLT,% Nitsche:1994:SHL,% Nitsche:1994:VTL,% Nitsche:1996:FLS,% Nitsche:1997:IFC% }. \NAMECITE{Logical}{% Adian:1997:LFC,% Nerode:1994:LFC% }. \NAMECITE{Magdeburg}{% Dassow:1996:DLT% }. \NAMECITE{mathematics}{% Dassow:1996:DLT% }. \NAMECITE{Medical}{% Bauknecht:1997:MAP,% Morger:1997:MPE% }. \NAMECITE{Method}{% Nitsche:1994:VMB% }. \NAMECITE{Mobile}{% Morger:1997:MPE,% Morger:1997:SCM% }. \NAMECITE{MobiMed}{% Bauknecht:1997:MAP,% Morger:1997:MPE% }. \NAMECITE{Model}{% Nitsche:1994:VMB% }. \NAMECITE{Need}{% Ultes-Nitsche:2002:DWN% }. \NAMECITE{Networks}{% Capellmann:1996:VBA,% Nitsche:1998:AFV% }. \NAMECITE{{NJ}}{% Alur:1996:CAV% }. \NAMECITE{non}{% Ultes-Nitsche:2007:PSC% }. \NAMECITE{non-determinism}{% Ultes-Nitsche:2007:PSC% }. \NAMECITE{Operating}{% Nitsche:19xx:VCO% }. \NAMECITE{Patient}{% Morger:1998:PEP% }. \NAMECITE{Petersburg}{% Nerode:1994:LFC% }. \NAMECITE{Poster}{% Morger:1997:MPE% }. \NAMECITE{power}{% Ultes-Nitsche:2007:PSC% }. \NAMECITE{power-set}{% Ultes-Nitsche:2007:PSC% }. \NAMECITE{Principles}{% ACM:1994:PTA,% ACM:1997:PSA% }. \NAMECITE{Privacy}{% Bauknecht:1997:MAP,% Morger:1997:MPE,% Morger:1998:PEP% }. \NAMECITE{Problem}{% Nitsche:1998:AFV% }. \NAMECITE{Problematik}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{Proceedings}{% ACM:1994:PTA,% ACM:1997:PSA,% Wagner:1997:PEI,% Alur:1996:CAV,% Nerode:1994:LFC% }. \NAMECITE{Processes}{% Morger:1998:PEP% }. \NAMECITE{{Produktnetze}}{% Nitsche:1991:EEP% }. \NAMECITE{Produktnetzen}{% Nitsche:1988:EPI,% Nitsche:1991:EP% }. \NAMECITE{Projekts}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{{PROLOG}}{% Nitsche:1988:EPI% }. \NAMECITE{Properties}{% Niessner:1997:DRL,% Niessner:1998:DRL,% Nitsche:1995:ASP,% Nitsche:1996:ASPa,% Ultes-Nitsche:2002:DWN,% Niessner:2007:CCD,% Nitsche:1996:ASPb% }. \NAMECITE{Propositional}{% Nitsche:1994:PLT,% Nitsche:1996:FLS% }. \NAMECITE{Qualit{\"a}tskriterium}{% Morger:1997:DQK% }. \NAMECITE{Reachability}{% Nitsche:1994:VTL% }. \NAMECITE{reducing}{% Ultes-Nitsche:2007:PSC% }. \NAMECITE{Regular}{% Niessner:1997:DRL,% Niessner:1998:DRL,% Niessner:2007:CCD% }. \NAMECITE{Relative}{% Nitsche:1997:RLB% }. \NAMECITE{Russia}{% Adian:1997:LFC,% Nerode:1994:LFC% }. \NAMECITE{Safety}{% Ultes-Nitsche:2002:DWN% }. \NAMECITE{Santa}{% ACM:1997:PSA% }. \NAMECITE{Satisfied}{% Nitsche:1995:ASP,% Nitsche:1996:ASPa,% Nitsche:1996:ASPb% }. \NAMECITE{science}{% Adian:1997:LFC,% Dassow:1996:DLT,% Nerode:1994:LFC% }. \NAMECITE{Second}{% Augusto:2004:SIW% }. \NAMECITE{Security}{% Morger:1997:SCM% }. \NAMECITE{Semantics}{% Nitsche:1996:FLS% }. \NAMECITE{September}{% Wagner:1997:PEI% }. \NAMECITE{Sequences}{% Nitsche:1997:IFC% }. \NAMECITE{Service}{% Capellmann:1996:CSS,% Capellmann:1996:VBA,% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT,% Nitsche:1998:AFV% }. \NAMECITE{Service-Interaction-Problematik}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{{SERVINT}}{% Demant:1995:ABG,% Nitsche:1995:ZGT% }. \NAMECITE{{SERVINT2}}{% Demant:1996:ZGT% }. \NAMECITE{{SERVINTII}}{% Demant:1996:ABG% }. \NAMECITE{Session}{% Morger:1997:MPE% }. \NAMECITE{set}{% Ultes-Nitsche:2007:PSC% }. \NAMECITE{Sets}{% Nitsche:1997:IFC% }. \NAMECITE{{SH}}{% Nitsche:1996:SVT,% Nitsche:1997:SVT% }. \NAMECITE{{SH-Verification}}{% Nitsche:1996:SVT,% Nitsche:1997:SVT% }. \NAMECITE{Simple}{% Nitsche:1994:SHL,% Nitsche:1995:ASP,% Nitsche:1996:ASPa,% Nitsche:1996:ASPb% }. \NAMECITE{Sixteenth}{% ACM:1997:PSA% }. \NAMECITE{Spezifikations}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{Spezifikations-}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{St}{% Nerode:1994:LFC% }. \NAMECITE{Study}{% Capellmann:1996:CSS,% Capellmann:1996:VBA% }. \NAMECITE{Symposium}{% ACM:1994:PTA,% ACM:1997:PSA,% Adian:1997:LFC,% Nerode:1994:LFC% }. \NAMECITE{Systems}{% Augusto:2004:SIW,% Bauknecht:1997:MAP,% Morger:1997:MPE,% Morger:1997:SCM,% Nitsche:1995:ASP,% Nitsche:1996:ASPa,% Nitsche:1996:VBA,% Nitsche:19xx:VCO,% Wagner:1997:PEI,% Nitsche:1996:ASPb% }. \NAMECITE{Technique}{% Nitsche:1996:VBA% }. \NAMECITE{Telekom-Projekts}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{Telephone}{% Capellmann:1996:VBA% }. \NAMECITE{Temporal}{% Nitsche:1994:PLT,% Nitsche:1994:SHL,% Nitsche:1994:VTL,% Nitsche:1996:FLS% }. \NAMECITE{theory}{% Dassow:1996:DLT% }. \NAMECITE{third}{% Nerode:1994:LFC% }. \NAMECITE{Thirteenth}{% ACM:1994:PTA% }. \NAMECITE{Tool}{% Nitsche:1997:SVT,% Nitsche:1996:SVT% }. \NAMECITE{Toulouse}{% Wagner:1997:PEI% }. \NAMECITE{Tractable}{% Nitsche:1996:VBA% }. \NAMECITE{Tree}{% Nitsche:1997:IFC% }. \NAMECITE{two}{% Ultes-Nitsche:2007:PSC% }. \NAMECITE{{USA}}{% ACM:1994:PTA,% Alur:1996:CAV% }. \NAMECITE{Validation}{% Augusto:2004:SIW% }. \NAMECITE{Verification}{% Augusto:2004:SIW,% Capellmann:1996:CSS,% Capellmann:1996:VBA,% Nitsche:1994:VMB,% Nitsche:1996:VBA,% Nitsche:1997:SVT,% Nitsche:1998:AFV,% Nitsche:19xx:VCO,% Alur:1996:CAV,% Nitsche:1996:SVT% }. \NAMECITE{Verifikationsmethoden}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{Verifying}{% Nitsche:1994:VTL% }. \NAMECITE{Workshop}{% Augusto:2004:SIW,% Wagner:1997:PEI% }. \NAMECITE{Yaroslavl}{% Adian:1997:LFC% }. \NAMECITE{zur}{% Demant:1995:ABG,% Demant:1996:ABG,% Demant:1996:ZGT,% Nitsche:1995:ZGT% }. \NAMECITE{{Zwischenbericht}}{% Demant:1996:ZGT,% Nitsche:1995:ZGT% }.