Autor:	Hermanns, Holger ^*, Herzog, Ulrich, Katoen, Joost-Pieter
Zdroj:	In Theoretical Computer Science 2002 274(1):43-87
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect