Publications :: Search

Publication properties
Title:	Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.
Rating:	(not rated yet)
Discussion:	0 comments
Date:	2007
Publication type:	Conference paper
Authors:	No. First name Last name Show 1. Peter Csaba Ölveczky 2. Stian Thorvaldsen
Download (by DOI):	10.1007/978-3-540-72952-5_8
BibTeX:	conf/fmoods/OlveczkyT07
DBLP:	db/conf/fmoods/fmoods2007.html#OlveczkyT07
Bookmark:

The following keywords have been assigned to this publication so far. If you have logged in, you can tag this publication with additional keywords.

If you log in you can tag this publication with additional keywords

A publication can refer to another publication (outgoing references) or it can be referred to by other publications (incoming references).

If you log in you can add references to other publications

A publication can be assigned to a conference, a journal or a school.

Conference
Name:	Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings 2007
DBLP:	db/conf/fmoods/fmoods2007.html