@inproceedings{Fer93,
title = {Abstract Interpretation and Verification of Reactive Systems },
author = {Fernandez, Jean-Claude},
year = {1993},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings},
pages = {60-71},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {724},
team = {DCS},
}
