Didier Buchs, Mathieu Buffo. Rapid Prototyping of Formally Modelled Distributed Systems. In IEEE International Workshop on Rapid System Prototyping. pages 4-9, 1999. [doi]
@inproceedings{BuchsB99, title = {Rapid Prototyping of Formally Modelled Distributed Systems}, author = {Didier Buchs and Mathieu Buffo}, year = {1999}, url = {http://computer.org/proceedings/rsp/0246/02460004abs.htm}, researchr = {https://researchr.org/publication/BuchsB99}, cites = {0}, citedby = {0}, pages = {4-9}, booktitle = {IEEE International Workshop on Rapid System Prototyping}, }