( en | de | ru )

 

Disambiguierung von "Chou, Ching-Tsun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® ItaniumTM Processor Bus Protocol.

, , und . CHARME, Volume 2144 von Lecture Notes in Computer Science, Seite 340-354. Springer, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ching-Tung Chou

Wilhelm Ching

Paisal Chingduang

Jieh-Wen Tsung

Ching-Ching Pan

 

Weitere Publikationen von Autoren mit dem selben Namen

A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® ItaniumTM Processor Bus Protocol., , und . CHARME, Volume 2144 von Lecture Notes in Computer Science, Seite 340-354. Springer, (2001)Hierarchical cache coherence protocol verification one level at a time through assume guarantee., , , , und . HLDVT, Seite 107-114. IEEE Computer Society, (2007)DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism., , , , , , , , und . PACT, Seite 155-166. IEEE Computer Society, (2011)A Note on Interactive Theorem Proving with Theorem Continuation Functions.. TPHOLs, Volume A-20 von IFIP Transactions, Seite 59-69. North-Holland/Elsevier, (1992)Linear Broadcast Routing., und . J. Algorithms, 10 (4): 490-517 (1989)Understanding and Verifying Distributed Algorithms Using Stratified Decomposition., und . PODC, Seite 44-65. ACM, (1988)Synchronizing Aysnchronous Bounded Delay Networks., , , und . WDAG, Volume 312 von Lecture Notes in Computer Science, Seite 212-218. Springer, (1987)A Sequent Formulation of a Logic of Predicates in HOL.. TPHOLs, Volume A-20 von IFIP Transactions, Seite 71-80. North-Holland/Elsevier, (1992)Mechanical Verification of Distributed Algorithms in Higher-Order Logic.. Comput. J., 38 (2): 152-161 (1995)A Simple Method for Parameterized Verification of Cache Coherence Protocols., , und . FMCAD, Volume 3312 von Lecture Notes in Computer Science, Seite 382-398. Springer, (2004)