H. Barringer, M. Fisher, G. Gough. Fair SMG and linear time model checking. In Proc. Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, Frankreich, 1989.
author author author author author author title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle location location date