Filtrování

    2007

    1. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs D - Stať ve sborníku
      BARNAT, Jiří a Pavel MORAVEC. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Formal Methods: Applications and Technology. Berlin, Heidelberg: Springer-Verlag, 2007, s. 316-330. ISBN 978-3-540-70951-0.
      Podrobněji: https://is.muni.cz/publication/716579/cs

    2006

    1. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs D - Stať ve sborníku
      BARNAT, Jiří a Pavel MORAVEC. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Proceedings of the 5th International Workshop on Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006). Bonn, Germany: University Bonn, 2006, s. 20-34.
      Podrobněji: https://is.muni.cz/publication/702310/cs

    2002

    1. SGCCS: A Graphical Language for Real-Time Coordination D - Stať ve sborníku
      ŠAFRÁNEK, David. SGCCS: A Graphical Language for Real-Time Coordination. In Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures. Namur, Belgium: Elsevier Science, 2002, s. 99-114. ISSN 1571-0661.
      Podrobněji: https://is.muni.cz/publication/406145/cs
Zobrazit podrobně