×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [computation of s]
Home >
computation of s
On the Merits of Temporal Testers
225 views
1/22 Programs : Semantics and Verification Charngki Hong @ PSWLAB Programs: Semantics and Verification Mordechai Ben-Ari Mathematical Logic for Computer.
227 views
CS294, YelickSelf Stabilizing, p1 CS 294-8 Self-Stabilizing Systems yelick/294.
219 views
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S- invariants of Petri Nets Faming Lu Shandong university of Science.
215 views