Search alternatives:
22dynamical systems » dynamical systems, dynamical system, _ dynamicalsystems
ofdynamical systems » dynamical systems, dynamical system, _ dynamicalsystems

1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...

2
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Analysis and Controller Synthesis for Real-Time Systems -- rCOS: Theory and Tool for Component-Based Model...