Igor Konnov
Share
Bibliography
format
Book
eBook
Order
Edition Date
Ranking
-
Decidability Of Parameterized VerificationMORGAN & CLAYPOOL PUBLISHERS09-20150,00€
-
Decidability Of Parameterized VerificationSpringer International Publishing AG09-20150,00€