by Johanna Nellen, Erika Ábrahám
Reference:
Hybrid Sequential Function Charts (Johanna Nellen, Erika Ábrahám), Kovač, volume 68, 2012. (Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen : MBMV 2012 ; [15.
Workshop Methoden und Beschreibungssprachen zur Modellierung
und Verifikation von Schaltungen und Systemen ... im März
2012 an der Technischen Universität Kaiserslautern] / Jens
Brandt … (Hrsg.))
Verifikation von Schaltungen und Systemen : MBMV 2012 ; [15.
Workshop Methoden und Beschreibungssprachen zur Modellierung
und Verifikation von Schaltungen und Systemen ... im März
2012 an der Technischen Universität Kaiserslautern] / Jens
Brandt … (Hrsg.))
Bibtex Entry:
@BOOK{Nellen:207085,
author = {Nellen, Johanna and Ábrahám, Erika},
title = {{H}ybrid {S}equential {F}unction {C}harts},
volume = {68},
address = {Hamburg},
publisher = {Kovač},
isbn = {3-8300-6201-X},
series = {Schriftenreihe Forschungsergebnisse zur Informatik},
pages = {109-120},
year = {2012},
comment = {Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen : MBMV 2012 ; [15.
Workshop Methoden und Beschreibungssprachen zur Modellierung
und Verifikation von Schaltungen und Systemen ... im März
2012 an der Technischen Universität Kaiserslautern] / Jens
Brandt ... (Hrsg.)},
booktitle = {Methoden und Beschreibungssprachen zur
Modellierung und Verifikation von
Schaltungen und Systemen : MBMV 2012 ;
[15. Workshop Methoden und
Beschreibungssprachen zur Modellierung
und Verifikation von Schaltungen und
Systemen ... im März 2012 an der
Technischen Universität
Kaiserslautern] / Jens Brandt ...
(Hrsg.)},
cin = {120000 /},
cid = {$I:(DE-82)120000_20140620$ / $I:(DE-82)121330_20140620$},
typ = {PUB:(DE-HGF)8},
url = {http://publications.rwth-aachen.de/record/207085},
}