A Solution Relying on the Model Checking of Boolean Transition Systems

Jorge Cuéllar, Dieter Barnard, Martin Huber. A Solution Relying on the Model Checking of Boolean Transition Systems. In Manfred Broy, Stephan Merz, Katharina Spies, editors, Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994). Volume 1169 of Lecture Notes in Computer Science, pages 213-251, Springer, 1994.

Authors

Jorge Cuéllar

This author has not been identified. Look up 'Jorge Cuéllar' in Google

Dieter Barnard

This author has not been identified. Look up 'Dieter Barnard' in Google

Martin Huber

This author has not been identified. Look up 'Martin Huber' in Google