The top documents of alberto-lluch-lafuente
Maude .:° ASCENS 2011
1.306 views
A Semiring-valued Temporal Logic
266 views
White Box Adaptation @ CINA Meeting 2013
245 views
IMT Welcome Day 2011
775 views
An Algebra of Hierarchical Graphs
2.384 views
Many-to-Many Information Flow Policies
220 views