Abstractions for Transition Systems with Applications to Stubborn Sets.

Autor:	Hansen, Henri
Zdroj:	Concurrency, Security & Puzzles; 2017, p104-123, 20p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu