Property preserving transition refinement with concurrent runs: an example

Proceedings Second International Conference on Application of Concurrency to System Design CSD-0 ◽

10.1109/csd.2001.981766 ◽

2002 ◽

Cited By ~ 2

Author(s):

S. Peuker

Download Full-text