Computer Aided Verification, 13 conf., CAV 2001
Gerard Berry, Hubert Comon, Alain Finkel
Proceedings of the 13th International Conference, CAV 2001, held in Paris, France, July 18-22,2001. Offers topical sections on model checking and theorem proving automata techniques, verification core technology, and timed automata. Softcover.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
