Maria Luisa Villani

From MaRDI portal
Revision as of 09:55, 24 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:856422

Available identifiers

zbMath Open villani.maria-luisaDBLP44/523WikidataQ58091762 ScholiaQ58091762MaRDI QIDQ856422

List of research outcomes





PublicationDate of PublicationType
Formal Verification of Concurrent Systems via Directed Model Checking2015-03-18Paper
Abstracting Models from Execution Traces for Performing Formal Verification2010-03-23Paper
\(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes2006-12-07Paper
Using heuristic search for finding deadlocks in concurrent systems2005-11-22Paper
A new characterisation of hereditary PI rings2003-08-05Paper

Research outcomes over time

This page was built for person: Maria Luisa Villani

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