Ching-Tsun Chou

From MaRDI portal
Person:968360

Available identifiers

zbMath Open chou.ching-tsunMaRDI QIDQ968360

List of research outcomes





PublicationDate of PublicationType
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols2010-05-05Paper
Formal Methods in Computer-Aided Design2006-10-20Paper
https://portal.mardi4nfdi.de/entity/Q48175442004-09-24Paper
Experience with applying formal methods to protocol specification and system architecture2003-05-11Paper
https://portal.mardi4nfdi.de/entity/Q47872442003-01-09Paper
Formal verification of a partial-order reduction technique for model checking2000-01-30Paper
Simple proof techniques for property preservation via simulation1997-02-27Paper
Linear broadcast routing1992-06-25Paper
https://portal.mardi4nfdi.de/entity/Q37906221988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38176081988-01-01Paper

Research outcomes over time

This page was built for person: Ching-Tsun Chou

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