Towards Analysis and Verification of Concurrent Systems by State Space Generation

Tässä tietueessa ei ole kokotekstiä saatavilla Treposta, ainoastaan metadata.

Valmari, A.

Tampere University of Technology

1988

Tietotekniikan osasto - Department of Information Technology

This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.