1
Published 2008
Table of Contents: ... Computation Models -- Graph-Based Tools: The Contest -- Workshop on Petri Nets and Graph Transformations...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... for Monitoring Tools -- SPY: Local Verification of Global Protocols -- Tutorials -- Instrumenting Android...
View full text
Electronic eBook