Robert J. Hall
Reactive System Validation using Automated Reasoning over a Fragment Library
ASE, 1997.
@inproceedings{ASE-1997-Hall,
author = "Robert J. Hall",
booktitle = "{Proceedings of the 12th International Conference on Automated Software Engineering}",
ee = "http://computer.org/proceedings/ase/7961/79610299abs.htm",
pages = "299--300",
publisher = "{IEEE Computer Society}",
title = "{Reactive System Validation using Automated Reasoning over a Fragment Library}",
year = 1997,
}