Simulating Estelle Specifications with Time Parameters

Piotr Dembinski, Stanislaw Budkowski. Simulating Estelle Specifications with Time Parameters. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 265-279, North-Holland, 1987.

@inproceedings{DembinskiB87,
  title = {Simulating Estelle Specifications with Time Parameters},
  author = {Piotr Dembinski and Stanislaw Budkowski},
  year = {1987},
  researchr = {https://researchr.org/publication/DembinskiB87},
  cites = {0},
  citedby = {0},
  pages = {265-279},
  booktitle = {Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987},
  editor = {Harry Rudin and Colin H. West},
  publisher = {North-Holland},
  isbn = {0-444-70293-8},
}