SOLOIST

From MaRDI portal

(Redirected from Software:28308)

Jump to:navigation, search

MaRDI QIDQ28308swMATHFDO

Official website http://rd.springer.com/chapter/10.1007%2F978-3-642-35861-6_4

Cited in

(1)

Monitoring of temporal first-order properties with aggregations

This page was built for software: SOLOIST

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=SOLOIST&oldid=56282217"