Towards a Design Methodology Capturing Interface Synthesis

Wolfram Hardt | Thomas Lehmann

---

Februar 2001

Typ	InProceedings
Quelle	4. GI/ITG/GMM Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen S. 93 - 97
Verlag	Verlag MoPress Pohrsdorf
Adresse	Meißen, Germany
ISBN	3-00-007439-2
Band	1
Nummer	1
Bibtex	Anzeigen @InProceedings{WoHaThLe01,      address      = {Meißen, Germany},      author       = {Wolfram Hardt, Thomas Lehmann},      title        = {Towards a Design Methodology Capturing Interface Synthesis},      publisher    = {Verlag MoPress},      number       = {1},      pages        = {93--97},      volume       = {1},      month        = {February},      year         = {2001},      isbn         = {3-00-007439-2},      booktitle    = {4. GI/ITG/GMM Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, }