I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra.
Lavignon, Jean-François and
Shoham, Yoav. 1990.
“Temporal Automata.” Unpublished manuscript, Computer Science Department, Stanford University.