dblp.uni-trier.dewww.uni-trier.de

Hongping Lim

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
3EEHongping Lim, Myla Archer: Translation Templates to Support Strategy Development in PVS. Electr. Notes Theor. Comput. Sci. 174(11): 59-79 (2007)
2006
2EEMyla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno: Specifying and proving properties of timed I/O automata in the TIOA toolkit. MEMOCODE 2006: 129-138
2005
1EEHongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra: Translating Timed I/O Automata Specifications for Theorem Proving in PVS. FORMATS 2005: 17-31

Coauthor Index

1Myla Archer [2] [3]
2Dilsun Kirli Kaynar [1]
3Nancy A. Lynch [1] [2]
4Sayan Mitra [1] [2]
5Shinya Umeno [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)