Journal article

Š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. 10, no. 10, pp. 1354-1356. 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 časopisu J.UCS
Pages:1354-1356
Book:Journal of Universal Computer Science
Place:AT
Year:2004
Journal:Journal of Universal Computer Science, Vol. 10, No. 10, 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 5th Workshop on Formal Specification of Computer-Based Systems
BibTeX:
@ARTICLE{
   author = {Miroslav {\v{S}}v{\'{e}}da and Charles Rattray and Jerzy
	Rozenblit},
   title = {Formal Specifications of Computer-Based Systems - J.UCS
	Special Issue},
   pages = {1354--1356},
   booktitle = {Journal of Universal Computer Science},
   journal = {Journal of Universal Computer Science},
   volume = {10},
   number = {10},
   year = {2004},
   ISSN = {0948-6968},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7633}
}

Your IPv4 address: 54.80.211.135
Switch to IPv6 connection

DNSSEC [dnssec]