165 papers found
Refreshing results…
On modelling and verifying railway interlockings: Tracking train lengths
Download from curve.coventry.ac.ukRobustness Modelling and Verification of a Mix Net Protocol
Download from epubs.surrey.ac.ukVerification of Scheme Plans Using CSP $||$ | | B
Download from citeseerx.ist.psu.eduDevelopment of Novel Dual Binders as Potent, Selective, and Orally Bioavailable Tankyrase Inhibitors
UploadEditorial: Special Issue on Cryptography and Formal Methods
Download from link.springer.comFaster Print on Demand for Prêt à Voter
Download from orbilu.uni.luRational Design and Binding Mode Duality of MDM2–p53 Inhibitors
Download from www.researchgate.netMissing publications? Read more about our data sources.