Temporal Logic for Man

Author

Žilka Lukáš
Brno University of Technology

Supervisor

Smrčka Aleš

About the project

Year

2010

Share