Project Details

Access to Research Infrastructure action of the Improving Human Potential Programme

Project Period: 21. 5. 2003 - 9. 7. 2003

Project Type: grant

Code: HPRI-CT-1999-00026

Agency: European Community

Program:

Type
grant
Team members
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Publications

2005

  • ČEŠKA Milan, KŘENA Bohuslav and VOJNAR Tomáš. Parallel State Space Generation and Exploration on Shared-Memory Architectures. In: EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2005, pp. 161-164. ISBN 84-689-0432-5. Detail
  • ČEŠKA Milan, KŘENA Bohuslav and VOJNAR Tomáš. Parallel State Space Generation and Exploration on Shared-Memory Architectures. In: Computer Aided Systems Theory - EUROCAST 2005. Lecture Notes in Computer Science, vol. 3643. Berlin: Springer Verlag, 2005, pp. 275-280. ISBN 978-3-540-29002-5. Detail
Back to top