Inproceedings,

Verification of Concurrent Programs: The Automata-Theoretic Framework

.
LICS, page 167-176. IEEE Computer Society, (1987)

Meta data

Tags

Users

  • @dblp

Comments and Reviews