"Graphical Specification and Reasoning: Case Study Generalised Railroad ..."

Henning Dierks, Cheryl Dietz (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics