Home > Authors > Tim Willemse > Semantics and verification in process algebras with data and timing

Semantics and verification in process algebras with data and timing

Tim Willemse

Recent activity

Rate this book to see your activity here.

1 Book Similar to Semantics and verification in process algebras with data and timing by Tim Willemse

Bookscovery readers who liked Semantics and verification in process algebras with data and timing also like Formal Methods for Industrial Critical Systems. How many of these have you read?

Formal Methods for Industrial Critical Systems by Kim Guldstrand Larsen

Cover of Formal Methods for Industrial Critical Systems

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Semantics and verification in process algebras with data and timing

Please sign in to leave a comment