Subject: Topo and G-LOTOS

From: Arne-Kristian Groven <[email-masked]>
Date: Mon, 11 Sep 95 11:38:08 +0200

Is there available any G-LOTOS interface (front-end) programs that can
be easily intergrated in the TOPO development environment?

And also, do you know about any approach for annotating LOTOS in the
direction of more explicit handling of time properties?

Regards,

--Arne-Kristian Groven

Institute for Energy Technology (IFE)
OECD Halden Reactor Project
PO.BOX 173
N-1751 Halden
NORWAY
---

TLF: +47 69 18 31 00
FAX: +47 69 18 71 09

E-MAIL: [email-masked], 
        [email-masked]