×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [independent head]
Home >
independent head
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study Sebastian Burckhardt Rajeev Alur Milo M. K. Martin Department of.
215 views
Enquête européenne – European poll (Sagalés, Stälberg, De Weerd & Cruccu, 1997-2000)
19 views