Timed Conversation

MaRDI QIDQ33949swMATHFDO

Official website http://www.doc.ic.ac.uk/~rn710/TimeApp.html

Cited in

(3)

• Scribble
• SPY
• Timed runtime monitoring for multiparty conversations

This page was built for software: Timed Conversation