@inproceedings{LS97a,
title = {Temporal Logic for Stabilizing Systems },
author = {Lakhnech, Yassine and Siegel, Michael},
year = {1997},
booktitle = {Second International Conference on Temporal Logic - ICTL'97},
team = {DCS},
}
