The Mathematical Foundation of Symbolic Trajectory Evaluation (1999)

Cached

Download Links

by Ching-tsun Chou
Venue:In ComputerAided Verification
Citations:21 - 0 self