A Verification-Oriented Theory of Data in Labelled Transition Systems

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

Kokkarinen, I.

Tampere University of Technology

1998

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.