Matteo Slanina

From MaRDI portal
Person:939162

Available identifiers

zbMath Open slanina.matteoMaRDI QIDQ939162

List of research outcomes





PublicationDate of PublicationType
Proving ATL* Properties of Infinite-State Systems2008-09-11Paper
Deductive verification of alternating systems2008-08-21Paper
The Reaction Algebra: A Formal Language for Event Correlation2008-03-25Paper
Algebra and Coalgebra in Computer Science2006-10-20Paper
Formal Techniques for Networked and Distributed Systems - FORTE 20052006-07-07Paper
https://portal.mardi4nfdi.de/entity/Q45363922002-11-04Paper
Alternative translation techniques for propositional and first-order modal logics2002-08-20Paper

Research outcomes over time

This page was built for person: Matteo Slanina

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:939162&oldid=7399712"
Powered by MediaWiki