20 Years of Modal and Mixed Specifications

Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

507 Downloads (Pure)

Abstrakt

Udgivelsesdato: June
OriginalsprogEngelsk
TidsskriftBulletin of the European Association for Theoretical Computer Science
Udgave nummer95
ISSN0252-9742
StatusUdgivet - 2008

Emneord

  • Modale transitions systemer
  • Blandede transitions systemer

Fingeraftryk Dyk ned i forskningsemnerne om '20 Years of Modal and Mixed Specifications'. Sammen danner de et unikt fingeraftryk.

Citationsformater