[Back]


Talks and Poster Presentations (without Proceedings-Entry):

G. Weissenbacher:
"Labelled Interpolation Systems";
Talk: Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering, Dagstuhl, Deutschland (invited); 2012-11-11 - 2012-11-16.



Electronic version of the publication:
http://www.dagstuhl.de/mat/Files/12/12461/12461.WeissenbacherGeorg.Paper.pdf


Created from the Publication Database of the Vienna University of Technology.