No. 37 (2000): RS-37 Guided Synthesis of Control Programs for a Batch Plant using UPPAAL

Published: 2000-06-07

Articles