Books listed by ISBN
>
ISTE Ltd.
> Navet Nicolas
Navet Nicolas
n.n.
ยท
Nicolas Navet
title
ISBN-13
(ISBN-10)
year of publication
Modeling and Verification of Real-time Systems
978-1-84821-O13-4
(1-84821-O13-2)
2008
Navid Nikaein