Goal-Driven LOTOS Execution.

Ed Brinksma Henk Eertink Goal-Driven LOTOS Execution. 45-60 1993 conf/pstv/1993 PSTV db/conf/pstv/pstv1993.html#BrinksmaE93