DaftarIsitemplate

Call Number

004.33 Jos f

Title

Scaling up uppaal automatic verification of real-time systems using compositionality and abstraction, (LNCS-Lecture Notes in Computer Science 1926) Hal 19-30

Author

Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou;

Publisher

Springer, 2000

Subject

Location