@inproceedings{Safranek2002b,
 address = {Namur, Belgium},
 author = {David Šafránek},
 booktitle = {Proceedings of 1th International Workshop on Foundations of Coordination Languages and Software Architectures},
 keywords = {formal specification; discrete real-time systems; hardware; SCCS; SGCCS; GCCS},
 language = {eng},
 location = {Namur, Belgium},
 note = {Nutno dodat presna cisla stran.},
 pages = {99-114},
 publisher = {Elsevier Science},
 title = {SGCCS: A Graphical Language for Real-Time Coordination},
 url = {http://www.fi.muni.cz/informatics/reports/2002/full.html},
 year = {2002}
}