Automatic Verification of Parameterized Systems by Over-Approximation

Vladislavs Jahundovics
Bok · 2015

Utgitt	Linkopings Universitet , 2015
Utgave	1st ed.
ISBN	9789176859186