Inhaltsangabe
List of Figures. List of Tables. Preface. Acknowledgments. 1. Introduction. 2. Verification Techniques for Concurrent Systems. 3. Multiset Labeled Transition Systems. 4. Compositional Verification Using MLTS. 5. Compositional Verification Using Petri Nets. 6. Tools and Experiments. 7. Delay time Petri Nets and Net Reduction. References. Index.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
