Edited, memorised or added to reading queue

on 21-Jan-2024 (Sun)

Do you want BuboFlash to help you learning these things? Click here to log in or create user.

Timing Verification by Successive Approximation 1 R. Alur A. Itai R.P. Kurshan AT&T Bell Laboratories Murray Hill, NJ 07974 M. Yannakakis
statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on


cannot see any pdfs