%0 Generic
%T Process Algebra for Modal Transition Systemses
%A Benes, Nikola
%A Kretinsky, Jan
%A Nikola Benes and Jan Kretinsky
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K specification
%K process algebra
%K modal transition systems
%D 2011
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation