Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gerald H. Hilderink
2000 – 2009
- 2006
[c3]Gerald H. Hilderink: Software Specification Refinement and Verification Method with I-Mathic Studio. CPA 2006: 297-310- 2005
[c2]Gerald H. Hilderink: Exception Handling Mechanism in Communicating Threads for Java. CPA 2005: 317-334- 2003
[j1]Gerald H. Hilderink: Graphical modelling language for specifying concurrency based on CSP. IEE Proceedings - Software 150(2): 108-120 (2003)- 2000
[c1]Gerald H. Hilderink, Andry W. P. Bakkers, Jan F. Broenink: A Distributed Real-Time Java System Based on CSP. ISORC 2000: 400-410
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:55 CET by the dblp team



