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... (publisher) (webarchive)
application/pdf  210.3 kB
sha1:dfa00f1651476436309c... (web) (webarchive)
application/pdf  353.6 kB
sha1:cdb33f84971ef0b7d6a6... (web) (webarchive) (web) (webarchive) (webarchive)
+ 4 more URLs
application/pdf  224.0 kB
sha1:a9b4dba16e1cbc6e4da0... (webarchive) (web) (webarchive) (webarchive) (webarchive)
+ 6 more URLs
application/pdf  404.6 kB
sha1:545efee39abcf577db81... (webarchive) (web) (webarchive) (web) (webarchive)
+ 1 more URLs
Read Full Text
Type  chapter
Stage   published
Year   2007
Container Metadata
Not in DOAJ
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:
As JSON object via API