Krejčí, Lukáš

• International Journal of Computing 2017, Volume 16, Issue 1 - Articles
  PROGRAMMING AUTONOMOUS BEHAVIOR OF REACTIVE METERING SYSTEMS BY TIMED AUTOMATA
  Abstract  PDF