Kimmo Varpaaniemi

From MaRDI portal
Person:1774567

Available identifiers

zbMath Open varpaaniemi.kimmoMaRDI QIDQ1774567

List of research outcomes





PublicationDate of PublicationType
On Stubborn Sets in the Verification of Linear Time Temporal Properties2022-12-09Paper
Modelling and simulation of quantum teleportation and dense coding using predicate/transition-nets2009-01-28Paper
On stubborn sets in the verification of linear time temporal properties2005-05-17Paper
https://portal.mardi4nfdi.de/entity/Q44619622004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44509872004-02-16Paper
https://portal.mardi4nfdi.de/entity/Q31462842002-09-11Paper
https://portal.mardi4nfdi.de/entity/Q27665662002-06-17Paper
https://portal.mardi4nfdi.de/entity/Q45078312000-10-10Paper
https://portal.mardi4nfdi.de/entity/Q42393051999-04-25Paper

Research outcomes over time

This page was built for person: Kimmo Varpaaniemi

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