Original title:
Verification of DESIGNER Functions
Authors:
Khailova, Natalia Document type: Research reports
Year:
1999
Language:
eng Series:
Research Report, volume: 1947 Project no.: AV0Z1075907 (CEP)
Institution: Institute of Information Theory and Automation AS ČR
(web)
Document availability information: Fulltext is available in the digital repository of the Academy of Sciences. Original record: http://hdl.handle.net/11104/0130111