An asynchronous automata approach to the semantics of temporal logic, The 8-th Symposium of Mathematics and its Applications, "Politehnica" University of Timisoara, Timisoara, 1999






 

download