Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, S. S. Ravi, Richard Edwin Stearns. I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract). In PODC. pages 122, 1996.
@inproceedings{ShuklaHRRS96,
title = {I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract)},
author = {Sandeep K. Shukla and Harry B. Hunt III and Daniel J. Rosenkrantz and S. S. Ravi and Richard Edwin Stearns},
year = {1996},
tags = {rule-based},
researchr = {https://researchr.org/publication/ShuklaHRRS96},
cites = {0},
citedby = {0},
pages = {122},
booktitle = {PODC},
}