Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems

Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Search results