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
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"
}
Nahoru