BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

Constructing invariants for hybrid systems.

Formal Methods in System Design, 32(1): 25-55, 2008.
Authors: Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna
URL: http://dblp.uni-trier.de/db/journals/fmsd/fmsd32.html#SankaranarayananSM08
Description: dblp
Tags: dblp
| URL | BibTeX  
@article{journals/fmsd/SankaranarayananSM08,
title = {Constructing invariants for hybrid systems.},
author = {Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna},
journal = {Formal Methods in System Design},
number = {1},
pages = {25-55},
url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd32.html#SankaranarayananSM08},
volume = {32},
year = {2008},
description = {dblp},
ee = {http://dx.doi.org/10.1007/s10703-007-0046-1}, date = {2008-03-11},
keywords = {dblp }
}