Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude release_pckgjc7wfjg47i7cfvwjzsrw6m

by Peter Csaba Ölveczky, Stian Thorvaldsen

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg
ISSN-L 0302-9743
Page(s) 122-140
Release Year 2007
Publisher Springer Berlin Heidelberg

Known Files and URLs

application/pdf  503.2 kB
sha1:ef0126d0eb50adc834aa...
link.springer.com (publisher)
web.archive.org (webarchive)
application/pdf  210.3 kB
sha1:dfa00f1651476436309c...
dl.ifip.org (web)
web.archive.org (webarchive)
application/pdf  353.6 kB
sha1:cdb33f84971ef0b7d6a6...
heim.ifi.uio.no (web)
web.archive.org (webarchive)
www.ifi.uio.no:80 (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
+ 4 more URLs
application/pdf  224.0 kB
sha1:a9b4dba16e1cbc6e4da0...
web.archive.org (webarchive)
heim.ifi.uio.no (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
+ 6 more URLs
application/pdf  404.6 kB
sha1:545efee39abcf577db81...
web.archive.org (webarchive)
heim.ifi.uio.no (web)
web.archive.org (webarchive)
heim.ifi.uio.no (web)
web.archive.org (webarchive)
+ 1 more URLs
Read Full Text
Type  chapter
Stage   published
Year   2007
Container Metadata
Not in DOAJ
Not in ISSN ROAD
Not in Keepers Registry
ISSN-L:  0302-9743
Fatcat Entry
Work Entity
grouping other versions (eg, pre-print) and variants of this release
Cite This Release
Fatcat Bits

State is "active". Revision:
e54d68f8-3c8a-456d-a9f5-2b9b84a5a5d6
As JSON object via API