Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/journals/fac/DongLSZ14

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/33/6517 + , https://dblp.org/pid/51/3710-3 + , https://dblp.org/pid/s/JunSun1 + , https://dblp.org/pid/56/5624-7 +
https://dblp.org/rdf/schema#bibtexType	http://purl.org/net/nknouf/ns/bibtex#Article +
https://dblp.org/rdf/schema#documentPage	https://doi.org/10.1007/S00165-013-0280-9 +
https://dblp.org/rdf/schema#doi	https://doi.org/10.1007/S00165-013-0280-9 + , http://dx.doi.org/10.1007/S00165-013-0280-9 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/journals/fac/fac26 +
https://dblp.org/rdf/schema#numberOfCreators	4
https://dblp.org/rdf/schema#pagination	729-759
https://dblp.org/rdf/schema#primaryDocumentPage	https://doi.org/10.1007/S00165-013-0280-9 +
https://dblp.org/rdf/schema#publishedIn	Formal Aspects Comput.
https://dblp.org/rdf/schema#publishedInJournal	Formal Aspects Comput.
https://dblp.org/rdf/schema#publishedInJournalVolume	26
https://dblp.org/rdf/schema#publishedInJournalVolumeIssue	4
https://dblp.org/rdf/schema#title	Towards verification of computation orchestration.
https://dblp.org/rdf/schema#yearOfPublication	2014
owl:sameAs	https://doi.org/10.1007/S00165-013-0280-9 + , http://dx.doi.org/10.1007/S00165-013-0280-9 +
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Article +
rdfs:label	Jin Song Dong et al.: Towards verification of computation orchestration. (2014)

	This page has no properties.

Navigation menu