Time is up! - Norms with deadlines in action languages

Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Time is up! - Norms with deadlines in action languages'. Together they form a unique fingerprint.

Mathematics