Checking Experiments with Protocol Machines

@inproceedings{Petrenko1991CheckingEW,
  title={Checking Experiments with Protocol Machines},
  author={Alexandre Petrenko},
  booktitle={Protocol Test Systems},
  year={1991}
}