@inproceedings{Safranek2004,
 address = {London},
 author = {David Šafránek},
 booktitle = {Proceeding of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures},
 keywords = {specification; formal methods; visual formalism},
 language = {eng},
 location = {London},
 note = {Vol. 180, Issue 2},
 pages = {107-121},
 publisher = {ENTCS},
 title = {Visual Specification of Systems with Heterogeneous Coordination Models},
 year = {2004}
}