Udo Thalmann

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1988

2 Udo Thalmann: Analysis of ESTELLE Specifications. Concurrency 1988: 335-352

1 Udo Thalmann: Analysis of Estelle Specifications. Specification and Verification of Concurrent Systems 1988: 428-438

1988
2		Udo Thalmann: Analysis of ESTELLE Specifications. Concurrency 1988: 335-352
1		Udo Thalmann: Analysis of Estelle Specifications. Specification and Verification of Concurrent Systems 1988: 428-438