Skip to content

Modelling and Verification of Timed Interaction and Migration.

Gabriel Ciobanu, Maciej Koutny

VenueBFASE
Year2008
ProceedingsFASE

Browse the full FASE paper archive.