Abstract State Processes

Abstract State Machines 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-36498-6_2 ◽

2003 ◽

pp. 22-32 ◽

Cited By ~ 3

Author(s):

Tommaso Bolognesi ◽

Egon Börger

Download Full-text