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}, }