David Hansel, Rance Cleaveland, Scott A. Smolka. Distributed Prototyping from Validated Specifications. In 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 25-27 June 2001, Monterey, CA, USA. pages 97-102, IEEE Computer Society, 2001. [doi]
@inproceedings{HanselCS01,
title = {Distributed Prototyping from Validated Specifications},
author = {David Hansel and Rance Cleaveland and Scott A. Smolka},
year = {2001},
url = {http://csdl.computer.org/comp/proceedings/rsp/2001/1206/00/12060097abs.htm},
researchr = {https://researchr.org/publication/HanselCS01},
cites = {0},
citedby = {0},
pages = {97-102},
booktitle = {12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 25-27 June 2001, Monterey, CA, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-1206-2},
}