[NT 42591] Language: 簡体中文

[NT 5480] Login

[NT 59466] Create an account

[NT 43990] Languages

[NT 42568] English (1)

[NT 60476] Jump To : [NT 60487] Overview | [NT 60480] Titles | [NT 60479] Subjects

Katoen, Joost-Pieter

[NT 60487] Overview

[NT 60478] Works:	1 [NT 60520] works in 1 [NT 60521] publications in 1 [NT 60522] languages

[NT 60480] Titles

Principles of model checking [NT 59711] by: Katoen, Joost-Pieter; Baier, Christel ([NT 1579] Language materials, printed)

[NT 60479] Subjects

Computer systems - Verification. Computer software - Verification. 004.24

[NT 48336] Change password

[NT 5480] Login