Journal article

DVOŘÁK Václav. Formal Specifications of Computer-Based Systems. Journal of Universal Computer Science. Graz: Springer Verlag, 2000, pp. 1-3. ISBN 3-540-62047-8.
Publication language:english
Original title:Formal Specifications of Computer-Based Systems
Pages:1-3
Book:Journal of Universal Computer Science
Place:Graz, AT
Year:2000
ISBN:3-540-62047-8
Publisher:Springer Verlag
Keywords
Formal specifications, Computer-based systems
Annotation
Introduction to the Special Issue of Journal of Universal Computer Science
BibTeX:
@ARTICLE{
   author = {V{\'{a}}clav Dvo{\v{r}}{\'{a}}k},
   title = {Formal Specifications of Computer-Based Systems},
   pages = {1--3},
   booktitle = {Journal of Universal Computer Science},
   volume = {6},
   number = {11},
   year = {2000},
   location = {Graz, AT},
   publisher = {Springer Verlag},
   ISBN = {3-540-62047-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=5667}
}

Your IPv4 address: 54.80.132.10
Switch to IPv6 connection

DNSSEC [dnssec]