TY  - BOOK
AU  - Arabnia, Hamid R, ed.
AU  - Gravvanis, George A, ed.
AU  - Jandieri, George, ed. ...et al
TI  - Proceedings of the 2013 international conference on foundations of computer science : FCS 2013
SN  - 9789384872076
CY  - New Delhi
KW  - BLES
KW  - Computer science
KW  - Conference(International), 2013 -- Computer science
KW  - Encryption standard(MES)
KW  - Formal verification and Automata
KW  - Linux-based multiprocessor systems
KW  - ProceedingsInternational conference 2013  Computer science
KW  - Quantum computing
N1  - Includes bibliographical references
ER  -