- Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005. - Includes bibliographical references and author index.
UNIVERSITY OF KYRENIA LIBRARY +90 (392) 680 20 28. Near East Boulevard, Kyrenia, TRNC This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.