IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems

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},
}