G. Malnati
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
Pandora: a Temporal Logic Based Process Engine.
Proceedings of the ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, 1994