Suchergebnisse - Ročkai, P. | OPAC THWS

1

Model checking C++ programs with exceptions von Ročkai, P., Barnat, J., Brim, L.

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Scalable Multi-core LTL Model-Checking von Barnat, Jiří, Brim, Luboš, Ročkai, Petr

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Fast, Dynamically-Sized Concurrent Hash Table von Barnat, J., Ročkai, P., Štill, V., Weiser, J.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Distributed LTL Model Checking with Hash Compaction von Barnat, J., Havlíček, J., Ročkai, P.

Veröffentlicht in Electronic notes in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

DiVinE: Parallel Distributed Model Checker von Barnat, Jiri, Brim, Lubos, Češka, Milan, Ročkai, Petr

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Context-Switch-Directed Verification in DIVINE von Štill, Vladimír, Ročkai, Petr, Barnat, Jiří

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: