Autor:	MICHELE PASQUA, Mastroeni, I.
Jazyk:	angličtina
Rok vydání:	2017
Předmět:	Computation theory Computation theory Computer circuits Topology Hyperproperties Computer circuits Topology Hyperproperties
Zdroj:	Scopus-Elsevier
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ad4b4fa9be1a5d5ca9b8968c8686847a http://hdl.handle.net/11562/973674 Zobrazit plný text záznamu