학술논문
Timed runtime monitoring for multiparty conversations
Document Type
Article
Author
Source
In: Formal Aspects of Computing . (Formal Aspects of Computing, 1 September 2017, 29(5):877-910)
Subject
Language
English
ISSN
1433299X
09345043
09345043