Detail publikace
Formal Specification of the HELEF Simulation Language
HRUBÝ Martin. Formal Specification of the HELEF Simulation Language. In: Proceedings of 37th Internation Conference MOSIS'03. Ostrava: MARQ, 2003, s. 143-148. ISBN 80-85988-86-0.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT)
Rok
2003
Strany
143-148
Sborník
Proceedings of 37th Internation Conference MOSIS'03
Konference
MOSIS 2003 - Modelling and Simulation of Systems, Brno, CZ
ISBN
80-85988-86-0
Vydavatel
MARQ
Místo
Ostrava, CZ
BibTeX
@INPROCEEDINGS{FITPUB7176, author = "Martin Hrub\'{y}", title = "Formal Specification of the HELEF Simulation Language", pages = "143--148", booktitle = "Proceedings of 37th Internation Conference MOSIS'03", year = 2003, location = "Ostrava, CZ", ISBN = "80-85988-86-0", language = "english", url = "https://www.fit.vut.cz/research/publication/7176" }