×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [compositional slide]
Documents
Background information Formal verification methods based on theorem proving techniques and modelchecking –to prove the absence of errors (in the formal
216 views
Documents
Knowledge Representation II Praveen Paritosh CogSci 207: Fall 2003: Week 2 Tue, Oct 5, 2004
217 views
Documents
Synchronizations with Mobility for Graph Transformations joint work with Ugo Montanari Dipartimento di Informatica Università di Pisa Ivan Lanese Dipartimento
219 views