Type: Direct Link

Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation

Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications

Proceedings 2nd Interaction and Concurrency Experience Structured Interactions

Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009

Proceedings International Workshop on Verification of Infinite-State Systems