Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/conf/icfem/DongSSTZ08

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/33/6517 + , https://dblp.org/pid/s/JingSun2 + , https://dblp.org/pid/s/JunSun1 + , https://dblp.org/pid/t/KenjiTaguchi1 + , https://dblp.org/pid/56/5624-7 +
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-540-88194-0_20 +
https://dblp.org/rdf/schema#doi	https://doi.org/10.1007/978-3-540-88194-0_20 + , http://dx.doi.org/10.1007/978-3-540-88194-0_20 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/conf/icfem/icfem2008 +
https://dblp.org/rdf/schema#numberOfCreators	5
https://dblp.org/rdf/schema#pagination	318-337
https://dblp.org/rdf/schema#primaryDocumentPage	https://doi.org/10.1007/978-3-540-88194-0_20 +
https://dblp.org/rdf/schema#publishedAsPartOf	https://dblp.org/rec/conf/icfem/2008 +
https://dblp.org/rdf/schema#publishedIn	ICFEM
https://dblp.org/rdf/schema#publishedInBook	ICFEM
https://dblp.org/rdf/schema#title	Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.
https://dblp.org/rdf/schema#yearOfEvent	2008
https://dblp.org/rdf/schema#yearOfPublication	2008
owl:sameAs	https://doi.org/10.1007/978-3-540-88194-0_20 + , http://dx.doi.org/10.1007/978-3-540-88194-0_20 +
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label	Jin Song Dong et al.: Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. (2008)

	This page has no properties.

Navigation menu