Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Levi, Francesca - Dipartimento di Informatica, Università di Pisa
A Process Language for Statecharts ? Francesca Levi
Compositional Verification of Timed Statecharts Francesca Levi
An Analysis for Proving Temporal Properties of Biological Systems
Compositional Veri cation of Quantitative Properties of Statecharts
An Abstract Interpretation Framework for Analysing Mobile Ambients
UNIVERSIT A DEGLI STUDI DI PISA
Controlling Interference in Ambients Francesca Levi
A Symbolic Semantics for Abstract Model Francesca Levi
A Symbolic Semantics for Abstract Model Francesca Levi
Types for Evolving Communication in Safe Ambients
Safe Ambients: Control Flow Analysis and Security.
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
A Compositional Calculus Proof System for Statecharts Processes 1
