Ensuring Reachability by Design

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_17 ◽

2012 ◽

pp. 213-227 ◽

Cited By ~ 5

Author(s):

Benoît Caillaud ◽

Jean-Baptiste Raclet

Download Full-text