TY - BOOK TI - Modeling and verification of real-time systems : formalisms and software tools AU - Navet, Nicolas. AU - Merz, Stephan. SN - 9781848210134 PB - ISTE/John Wiley PP - Hoboken, NJ : ISTE/John Wiley , 2008. PY - 2008 UR - https://library.korea.ac.kr/detail/?cid=CAT000045473882&ctype=m