Towards a formal model of CyberRail.

Dines Bjørner Peter Chiang Morten S. T. Jacobsen Jens Kielsgaard Hansen Michael P. Madsen Martin Penicka

Published in: IFIP Congress Topical Sessions (2004)

Keyphrases