@inproceedings{00665d0270fc4bf7803b904cc7c4b5ec,
title = "Formal specifications of computer-based systems",
keywords = "Automata, Computer Society, Computer science, Conferences, Executive Committee, Formal specifications, Interference, Operating systems, Protocols, TCPIP",
author = "M. Sveda and C. Rattray and Rozenblit, {Jerzy W}",
year = "2002",
doi = "10.1109/ECBS.2002.999842",
language = "English (US)",
series = "Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "224--225",
booktitle = "Proceedings - 9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002",
note = "9th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2002 ; Conference date: 08-04-2002 Through 11-04-2002",
}