Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité Autor: Cassez reset filtrov +
Autor: Cassez Modeling and Verification of Parallel Processes Cassez 2001 Formal Modeling and Analysis of Timed Systems Cassez 2008 2 knižných titulov