Specification with nets

Computer Aided Systems Theory — EUROCAST '89 - Lecture Notes in Computer Science ◽

10.1007/3-540-52215-8_10 ◽

1990 ◽

pp. 111-124 ◽

Author(s):

Gisbert Dittrich

Download Full-text