Algebraic representation of bisimulation for the tagh format

Titel in Übersetzung: Algebraic representation of bisimulation for the tagh format

Ana Sokolova, Erik de Vink

Publikation: Andere BeiträgeSonstiger BeitragForschungPeer-reviewed

Titel in ÜbersetzungAlgebraic representation of bisimulation for the tagh format
OriginalspracheEnglisch
Seitenumfang17
BandTechnical report CSR-02-02, TU Eindhoven
PublikationsstatusVeröffentlicht - 2002

Systematik der Wissenschaftszweige 2012

  • 101 Mathematik
  • 102 Informatik

Dieses zitieren