Miroslav Svéda, Franz Pichler, Charles Rattray. IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems. In 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK. pages 382-382, IEEE Computer Society, 2000. [doi]
Abstract is missing.