BibTeX
@inproceedings{DBLP:conf/dfg/DeselHJLN04,
author = {J{\"o}rg Desel and
Hans-Michael Hanisch and
Gabriel Juh{\'a}s and
Robert Lorenz and
Christian Neumair},
title = {A Guide to Modelling and Control with Modules of Signal
Nets},
booktitle = {SoftSpez Final Report},
year = {2004},
pages = {270-300},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3147{\&}spage=270},
crossref = {DBLP:conf/dfg/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dfg/2004,
editor = {Hartmut Ehrig and
Werner Damm and
J{\"o}rg Desel and
Martin Gro{\ss}e-Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"a}mper},
title = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German
Research Foundation (DFG), Final Report},
booktitle = {SoftSpez Final Report},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3147},
year = {2004},
isbn = {3-540-23135-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2004-09-24 by Michael Ley (ley@uni-trier.de)