Time-Abstracted Bisimulation: Implicit Specifications and Decidability

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

36 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftInformation and Computation
Vol/bindNo. 2
Sider (fra-til)75-101
ISSN0890-5401
StatusUdgivet - 1997

Citationsformater