On the Merits of Temporal Testers
1/22 Programs : Semantics and Verification Charngki Hong @ PSWLAB Programs: Semantics and Verification Mordechai Ben-Ari Mathematical Logic for Computer.
CS294, YelickSelf Stabilizing, p1 CS 294-8 Self-Stabilizing Systems yelick/294.
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S- invariants of Petri Nets Faming Lu Shandong university of Science.