Model checking is a computer-assisted method for the analysis of dynamical systems that can be...

Ursula Henzinger untersucht in diesem Buch das Wesen der frühen Eltern-Kind-Interaktion und macht...

Model checking is a computer-assisted method for the analysis of dynamical systems that can be mo...

This book constitutes the proceedings of the 11th International Conference on Computational Metho...

Der Mensch ist auf soziale Bindung angewiesen – erst recht in Leid und Trauer

This book constitutes the refereed proceedings of the 8th International Conference on Computer Ai...

This book constitutes the refereed proceedings of the First International Workshop on Hybrid Syst...

This volume contains the proceedings of EMSOFT 2001, the First International Workshop on Embedded...

This reference book documents the scientific outcome of the DIMACS SYCON Workshop on Verification...

This book constitutes the proceedings of the 11th International Conference on Computational Metho...

Model checking is a computer-assisted method for the analysis of dynamical systems that can be...