PERTS: an environment for specification and verification of reactive systems - (Reliability Engineering and System Safety, 71(3), 2001, 299-310)
| Year of publication: |
2001
|
|---|---|
| Authors: | Bhattacharjee, A.K. ; Dhodapkar, S.D. ; Shyamasundar, R.K. |
| Published in: |
Reliability engineering & system safety. - London : Elsevier, ISSN 0951-8320, ZDB-ID 612029. - Vol. 72.2001, 2, p. 223-224
|