Dan C. Marinescu, Gabriela M. Marinescu. Quantum States and Quantum Measurements. In Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea, editors, Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop Verification of Infinite State Systems with Applications to Security VISSAS 2005 , Timisoara, Romania, March 17-22, 2005. Volume 1 of NATO Security through Science Series D: Information and Communication Security, pages 101-126, IOS Press, 2005.
@inproceedings{MarinescuM05,
title = {Quantum States and Quantum Measurements},
author = {Dan C. Marinescu and Gabriela M. Marinescu},
year = {2005},
tags = {C++},
researchr = {https://researchr.org/publication/MarinescuM05},
cites = {0},
citedby = {0},
pages = {101-126},
booktitle = {Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop Verification of Infinite State Systems with Applications to Security VISSAS 2005 , Timisoara, Romania, March 17-22, 2005},
editor = {Edmund M. Clarke and Marius Minea and Ferucio Laurentiu Tiplea},
volume = {1},
series = {NATO Security through Science Series D: Information and Communication Security},
publisher = {IOS Press},
isbn = {1-58603-570-3},
}