<http://webisa.webdatacommons.org/296077997>	<http://www.w3.org/ns/prov#wasQuotedFrom>	<ercim.eu> .
<http://webisa.webdatacommons.org/296077997>	<http://www.w3.org/ns/prov#value>	"Concluding, these case studies bring home the point that communication between for example a DVD player and a TV can benefit from the analysis of the underlying protocols by means of formal methods." .
<http://webisa.webdatacommons.org/prov/419713896>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://webisa.webdatacommons.org/296077997> .
<http://webisa.webdatacommons.org/296077997>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/ns/prov#Entity> .