Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance

Pesic, M.; Bosnacki, D.; van der Aalst, Wil M. P.

Springer (2010) [Buchbeitrag, Beitrag zu einem Tagungsband]

Proceedings of the 17th International SPIN Workshop on Model Checking of Software (SPIN2010)
Seite(n): 146-161

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-221218