"Time-Action Alternating Model for Timed LOTOS and its Symbolic ..."

Akio Nakata, Teruo Higashino, Kenichi Taniguchi (1996)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2002-01-03