Venkatesh P. Mysore

From MaRDI portal
Person:418139

Available identifiers

zbMath Open mysore.venkatesh-pMaRDI QIDQ418139

List of research outcomes





PublicationDate of PublicationType
Algorithmic algebraic model checking. III: Approximate methods2013-10-07Paper
Low dimensional hybrid systems -- decidable, undecidable, don't know2012-05-24Paper
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks2007-11-29Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science2006-11-14Paper

Research outcomes over time

This page was built for person: Venkatesh P. Mysore

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