Free radicals, which are key intermediates in many thermal, photochemical and radiation processes, are important for a proper understanding of fundamental natur

The first book to provide a comprehensive overview of the subject rather than a collection of papers. The author is a recognized authority in the field as well

The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a r

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and so