[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/icpads/GoTKS96>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Hiroaki_Kaminaga>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Kaoru_Takahashi>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Kentaro_Go>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Norio_Shiratori>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1109%2FICPADS.1996.517554>
foaf:homepage <https://doi.org/10.1109/ICPADS.1996.517554>
dc:identifier DBLP conf/icpads/GoTKS96 (xsd:string)
dc:identifier DOI doi.org%2F10.1109%2FICPADS.1996.517554 (xsd:string)
dcterms:issued 1996 (xsd:gYear)
rdfs:label Automatic modification of a protocol specification based on changes of a service specification. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Hiroaki_Kaminaga>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Kaoru_Takahashi>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Kentaro_Go>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Norio_Shiratori>
swrc:pages 129-134 (xsd:string)
dcterms:partOf <https://dblp.l3s.de/d2r/resource/publications/conf/icpads/1996>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/icpads/GoTKS96/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/icpads/GoTKS96>
rdfs:seeAlso <http://dblp.uni-trier.de/db/conf/icpads/icpads1996.html#GoTKS96>
rdfs:seeAlso <https://doi.org/10.1109/ICPADS.1996.517554>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/icpads>
dc:subject protocols; formal specification; protocol specification; service specification; Labelled Transition System; verification; validation (xsd:string)
dc:title Automatic modification of a protocol specification based on changes of a service specification. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:InProceedings
rdf:type foaf:Document