--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Marita foaf_name: Dücker, Marita foaf_surname: Dücker - foaf_Person: foaf_givenName: Georg foaf_name: Lehrenfeld, Georg foaf_surname: Lehrenfeld - foaf_Person: foaf_givenName: Wolfgang foaf_name: Müller, Wolfgang foaf_surname: Müller foaf_workInfoHomepage: http://www.librecat.org/personId=16243 dct_date: 1996^xs_gYear dct_language: eng dct_title: Specification and Analysis of Concurrent Systems in a Complete Visual Environment@ ...