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]
@inproceedings{SvedaPR00, title = {IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems}, author = {Miroslav Svéda and Franz Pichler and Charles Rattray}, year = {2000}, url = {http://csdl.computer.org/comp/proceedings/ecbs/2000/0604/00/06040382abs.htm}, tags = {rule-based}, researchr = {https://researchr.org/publication/SvedaPR00}, cites = {0}, citedby = {0}, pages = {382}, booktitle = {7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK}, publisher = {IEEE Computer Society}, isbn = {0-7695-0604-6}, }