Pandora: a Temporal Logic Based Process Engine.
Patricia Lago, Giovanni Malnati
VenueBICLP
Year1994
ProceedingsICLP Workshop: Applications of Logic Programming to Software Engineering
DBLP recordconf/iclp/LagoM94 ↗
Browse the full ICLP paper archive.