Recreational Formal Methods: Designing Vacuum Cleaning Trajectories

Frits Vaandrager, Freek Verbeek, The Concurrency Column by Nobuko Yoshida

Abstract


Recreational Formal Methods: Designing Vacuum Cleaning Trajectories

Full Text:

PDF

Refbacks

  • There are currently no refbacks.