Browse by Person (creator, editor, contributor, etc.)

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSMultiline CSVMultiline CSV (Staff)Object IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Item Type | Date | No Grouping

Jump to: Conference or workshop item

Number of items: 1.

Conference or workshop item

Neykova, Rumyana and Bocchi, Laura and Yoshida, Nobuko (2014) Timed Runtime Monitoring for Multiparty Conversations. In: 3rd International Workshop on Behavioural Types (BEAT), 1st September, 2014, Rome, Italy. (doi:https://doi.org/10.4204/EPTCS.162.3) (Full text available)

Preview

This list was generated on Wed May 8 09:44:58 2019 BST.