Journal article

DVOŘÁK Václav, ŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science. 2004, vol. 9, no. 11, pp. 1258-1260. ISSN 0948-6968.
Publication language:english
Original title:Formal Specifications of Computer-Based Systems - J.UCS Special Issue
Title (cs):Formální specifikace systémů založených na počítačích - speciální číslo J.UCS
Pages:1258-1260
Book:Journal of Universal Computer Science
Place:AT
Year:2004
Journal:Journal of Universal Computer Science, Vol. 9, No. 11, AT
ISSN:0948-6968
Keywords
Formal specifications, Computer-based systems
Annotation
Introduction to the Special Issue of Journal of Universal Computer Science related to the 4th Workshop on Formal Specification of Computer-Based Systems
BibTeX:
@ARTICLE{
   author = {V{\'{a}}clav Dvo{\v{r}}{\'{a}}k and Miroslav
	{\v{S}}v{\'{e}}da and Charles Rattray and Jerzy Rozenblit},
   title = {Formal Specifications of Computer-Based Systems - J.UCS
	Special Issue},
   pages = {1258--1260},
   booktitle = {Journal of Universal Computer Science},
   journal = {Journal of Universal Computer Science},
   volume = {9},
   number = {11},
   year = {2004},
   ISSN = {0948-6968},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7354}
}

Your IPv4 address: 54.166.203.76
Switch to IPv6 connection

DNSSEC [dnssec]