Symmetric Spin

Dragan Bosnacki, Dennis Dams, Leszek Holenderski. Symmetric Spin. In Klaus Havelund, John Penix, Willem Visser, editors, SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Volume 1885 of Lecture Notes in Computer Science, pages 1-19, Springer, 2000.

Authors

Dragan Bosnacki

This author has not been identified. Look up 'Dragan Bosnacki' in Google

Dennis Dams

This author has not been identified. Look up 'Dennis Dams' in Google

Leszek Holenderski

This author has not been identified. Look up 'Leszek Holenderski' in Google