Publication Records

BARNAT, Jiří and Pavel MORAVEC. Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. In Formal Methods: Applications and Technology. Berlin, Heidelberg: Springer-Verlag, 2007, p. 316-330. ISBN 978-3-540-70951-0.

BARNAT, Jiří and 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, p. 20-34.

Š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, p. 99-114. ISSN 1571-0661.