"Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface ..."

Jan Stückrath, Benjamin Weyers (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics