Reducing Component Systems' Behavior Specification.

Authors :: Holub, V.
Plasil, F.
Source :: XXVI International Conference of the Chilean Society of Computer Science (SCCC'07); 2007, p63-72, 10p
Publication Year :: 2007

Language :: English
ISBNs :: 9780769530178
Database :: Complementary Index
Journal :: XXVI International Conference of the Chilean Society of Computer Science (SCCC'07)
Publication Type :: Conference
Accession number :: 81302619
Full Text :: https://doi.org/10.1109/sccc.2007.4396978