Path-based protocol verification approach

Autor:	Liu, W.-C. *, Chung, C.-G.
Zdroj:	In Information and Software Technology 2000 42(4):229-244
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect