https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/77/6283 +
, https://dblp.org/pid/33/6517 +
, https://dblp.org/pid/51/3710-3 +
, https://dblp.org/pid/s/JunSun1 +
|
https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
|
https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1007/978-3-642-54624-2_8 +
|
https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1007/978-3-642-54624-2_8 +
, http://dx.doi.org/10.1007/978-3-642-54624-2_8 +
|
https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/conf/birthday/futatsugi2014 +
|
https://dblp.org/rdf/schema#numberOfCreators
|
4
|
https://dblp.org/rdf/schema#pagination
|
151-170
|
https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1007/978-3-642-54624-2_8 +
|
https://dblp.org/rdf/schema#publishedAsPartOf
|
https://dblp.org/rec/conf/birthday/2014futatsugi +
|
https://dblp.org/rdf/schema#publishedIn
|
Specification, Algebra, and Software
|
https://dblp.org/rdf/schema#publishedInBook
|
Specification, Algebra, and Software
|
https://dblp.org/rdf/schema#title
|
Towards a Combination of CafeOBJ and PAT.
|
https://dblp.org/rdf/schema#yearOfEvent
|
2014
|
https://dblp.org/rdf/schema#yearOfPublication
|
2014
|
owl:sameAs |
https://doi.org/10.1007/978-3-642-54624-2_8 +
, http://dx.doi.org/10.1007/978-3-642-54624-2_8 +
|
rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Inproceedings +
|
rdfs:label |
Yongxin Zhao et al.: Towards a Combination of CafeOBJ and PAT. (2014)
|