Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Giovanna Di Marzo Serugendo
Towards a Spatial Language for Run-Time Assessments in Self-Organizing Systems
A Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems
Real-Time Synchronised Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
