Temporal logic first International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994 ; proceedings (Springer, 1994)
Literaturangaben