Formal Methods and Hybrid Real-Time Systems

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris...

101 downloads 1947 Views 7MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

Methods in Molecular Biology TM VOLUME 177 Two-Hybrid Systems Methods and Protocols Edited by Paul N. MacDonald HUM...

Methods in Molecular Biology TM VOLUME 177 Two-Hybrid Systems Methods and Protocols Edited by Paul N. MacDonald HUM...

Methods in Molecular Biology TM VOLUME 177 Two-Hybrid Systems Methods and Protocols Edited by Paul N. MacDonald HUM...

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1567 3 Berlin Heidelberg New Yor...

Methods in Molecular Biology TM VOLUME 177 Two-Hybrid Systems Methods and Protocols Edited by Paul N. MacDonald HUM...

MODERN FORMAL METHODS AND APPLICATIONS Modern Formal Methods and Applications Edited by HOSSAM A. GABBAR Okayama Univ...

Stochastic Hybrid Systems edited by Christos G. Cassandras Boston University John Lygeros ETH Zürich, Switzerland Bo...

Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J....