Detail projektu
Access to Research Infrastructure action of the Improving Human Potential Programme
Období řešení: 21. 5. 2003 - 9. 7. 2003
Typ projektu: grant
Kód: HPRI-CT-1999-00026
Agentura: Evropská unie
Program:
Typ
grant
Řešitelé
Křena Bohuslav, Ing., Ph.D.
(UITS FIT VUT)
Publikace
2005
- ČEŠKA Milan, KŘENA Bohuslav a 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: Universidad de Las Palmas de Gran Canaria, 2005, s. 161-164. ISBN 84-689-0432-5. Detail
- ČEŠKA Milan, KŘENA Bohuslav a VOJNAR Tomáš. Parallel State Space Generation and Exploration on Shared-Memory Architectures. In: Computer Aided Systems Theory - EUROCAST 2005. Lecture Notes in Computer Science, roč. 3643. Berlin: Springer Verlag, 2005, s. 275-280. ISBN 978-3-540-29002-5. Detail