×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [compositional slide]
Background information Formal verification methods based on theorem proving techniques and modelchecking –to prove the absence of errors (in the formal
216 views
Knowledge Representation II Praveen Paritosh CogSci 207: Fall 2003: Week 2 Tue, Oct 5, 2004
220 views
Synchronizations with Mobility for Graph Transformations joint work with Ugo Montanari Dipartimento di Informatica Università di Pisa Ivan Lanese Dipartimento
221 views