Reachability Problems

• Autoři: KUČERA Antonín; POTAPOV Igor
• Rok publikování: 2010
• Druh: Editorství tématického sborníku
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: Proceedings of 4th International Workshop on Reachability Problems (RP 2010).

Související projekty

• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy