Zobrazeno 1 - 10
of 11
pro vyhledávání: '"591"'
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p560-566, 7p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p589-606, 18p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p540-546, 7p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p387-393, 7p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p367-384, 18p
Autor:
van Dijk, Tom, van de Pol, Jaco
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p332-348, 17p
Autor:
Klein, Joachim, Baier, Christel, Chrszon, Philipp, Daum, Marcus, Dubslaff, Clemens, Klüppelholz, Sascha, Märcker, Steffen, Müller, David
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p349-366, 18p
Autor:
Bouissou, Olivier, Goubault, Eric, Putot, Sylvie, Chakarov, Aleksandar, Sankaranarayanan, Sriram
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p225-243, 19p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p260-279, 20p
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p112-129, 18p