by B. D. Lubachevsky
No reviews yet. Be the first!
An approach to automating the verificati...
Verification of several parallel coordin...