Computing behavioural relations, logically

Cleaveland, Rance; Steffen, Bernhard

Berlin [u.a.] : Springer (1991)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8 - 12, 1991 ; proceedings / J. Leach Albert ... (ed.)
Seite(n)/Artikel-Nr.: 127-138

Einrichtungen

  • [ama10]
  • Fachgruppe Informatik [120000]

Identifikationsnummern