Nr. 22 (2000): RS-22 Using Automata in Control Synthesis. A Case Study

Publiceret: 2000-01-22

Artikler