A. Ursu, G. Gruita, S. Zaporojan
Design and verification of the sequential systems automata using temporal logic specifications
DATE, 1997.
@inproceedings{EDTC-1997-UrsuGZ,
author = "A. Ursu and G. Gruita and S. Zaporojan",
booktitle = "{Proceedings of the Second European Design and Test Conference}",
doi = "10.1109/EDTC.1997.582436",
pages = "623",
publisher = "{IEEE}",
title = "{Design and verification of the sequential systems automata using temporal logic specifications}",
year = 1997,
}