Books

1 results found
Title Authors Description OpenBook ID
Verification of Reactive Systems Verification of Reactive Systems Klaus Schneider Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a g… OL19909495W