Thomas R. Shiple

From MaRDI portal
Revision as of 00:18, 12 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Thomas R. Shiple to Thomas R. Shiple: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:453537

Available identifiers

zbMath Open shiple.thomas-rMaRDI QIDQ453537

List of research outcomes





PublicationDate of PublicationType
Constructive Boolean circuits and the exactness of timed ternary simulation2012-09-27Paper
https://portal.mardi4nfdi.de/entity/Q44278952003-09-14Paper
Formula-dependent equivalence for compositional CTL model checking2002-09-18Paper
https://portal.mardi4nfdi.de/entity/Q27540782001-11-11Paper

Research outcomes over time

This page was built for person: Thomas R. Shiple

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