David Hansel (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

14 David Hansel, Rance Cleaveland, Scott A. Smolka: Distributed prototyping from validated specifications. Journal of Systems and Software 70(3): 275-298 (2004)

11 David Hansel, Rance Cleaveland, Scott A. Smolka: Distributed Prototyping from Validated Specifications. IEEE International Workshop on Rapid System Prototyping 2001: 97-102

Selection of 2 from 16 records - David Hansel has 19 coauthors

14		David Hansel, Rance Cleaveland, Scott A. Smolka: Distributed prototyping from validated specifications. Journal of Systems and Software 70(3): 275-298 (2004)
11		David Hansel, Rance Cleaveland, Scott A. Smolka: Distributed Prototyping from Validated Specifications. IEEE International Workshop on Rapid System Prototyping 2001: 97-102