An Algebra of Boolean Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Costas Courcoubetis, Susanne Graf, Joseph Sifakis. An Algebra of Boolean Processes. In Kim Guldstrand Larsen, Arne Skou, editors, Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Volume 575 of Lecture Notes in Computer Science, pages 454-465, Springer, 1991.

This author has not been identified. Look up 'Costas Courcoubetis' in GoogleThis author has not been identified. Look up 'Susanne Graf' in GoogleThis author has not been identified. Look up 'Joseph Sifakis' in Google

runs on WebDSL