Modeling Environment for Component Model Checking from Hierarchical Architecture

Autor:	Parizek, Pavel, Plasil, Frantisek
Zdroj:	In Electronic Notes in Theoretical Computer Science 29 June 2007 182:139-153
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect