%0 Generic
%T k-Bounded Petri Net Synthesis from Modal Transition Systems
%A Schlachter, Uli
%A Wimmel, Harro
%A Uli Schlachter and Harro Wimmel
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K bounded Petri net
%K Modal transition system
%K synthesis
%D 2017
%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