A. Morzenti

Bibliography

Felder, Miguel and Morzenti, A. 1994. “A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 365–381. Lecture Notes in Computer Science n. 827. Berlin: Springer.