Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 1.

Neykova, Rumyana, Bocchi, Laura, Yoshida, Nobuko (2014) Timed Runtime Monitoring for Multiparty Conversations. In: Proceedings Third Workshop on Behavioural Types. Electronic Proceedings in Theoretical Computer Science . pp. 19-26. (doi:10.4204/EPTCS.162.3) (KAR id:43736)

This list was generated on Sat May 4 22:58:38 2024 BST.