Model checking of software control systems

Access full-text files

Date

2002

Authors

Sharygina, Natalia Yevgenyevna

Journal Title

Journal ISSN

Volume Title

Publisher