Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence.

Akio Nakata, Teruo Higashino, Kenichi Taniguchi

Browse the full FORTE paper archive.