Skip to content

Rapid Prototyping of Formally Modelled Distributed Systems.

Didier Buchs, Mathieu Buffo

VenueCRSP
Year1999
ProceedingsIEEE International Workshop on Rapid System Prototyping

Browse the full RSP paper archive.