Computer Aided Verification of Parallel Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén. Computer Aided Verification of Parallel Processes. In Andreas Pfitzmann, Eckart Raubold, editors, VIS 91, Verläßliche Informationssysteme, GI-Fachtagung, Darmstadt, 13.-15. März 1991, Proceedings. Volume 271 of Informatik-Fachberichte, pages 208-226, Springer, 1991.

This author has not been identified. Look up 'Klaus Estenfeld' in GoogleThis author has not been identified. Look up 'Hans-Albert Schneider' in GoogleThis author has not been identified. Look up 'Dirk Taubner' in GoogleThis author has not been identified. Look up 'Erik Tidén' in Google

runs on WebDSL