C-LAB (1.2 KB) SEA
E
NVIRONMENT

Big Right Arrow DOWNLOAD

Right Arrow COMPLETE TOOL INSTALLATION
SunOS-Version of SEA
Solaris-Version of SEA (Current Version)
Update for SunOS-Version of SEA to Current Version
Right Arrow DOCUMENTATION (German)
  1. Bedienungsanleitung für SEA (mit Installationsbeschreibung) HTML Postscript
  2. Formale Beschreibung erweiterter Prädikat/Transitions-Netze
  3. Annotationen von erweiterten Prädikat/Transitions-Netzen
Right Arrow DOCUMENTATION (English)
  1. User Manual for SEA (with Installation Description) Postscript

Right ArrowHome Right ArrowFeatures Right ArrowDownload Right ArrowPublications Right ArrowApplications Right ArrowIntroduction

In case of questions send an email to car@c-lab.de or theo@c-lab.de.