BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
3 × USA
Collaborated with:
R.K.Brayton A.L.Sangiovanni-Vincentelli A.Saldanha
Talks about:
time (4) automata (2) exact (2) delay (2) tradeoff (1) properti (1) function (1) criteria (1) perform (1) minimum (1)

Person: William K. C. Lam

DBLP DBLP: Lam:William_K=_C=

Contributed to:

CAV 19941994
DAC 19941994
CAV 19931993
DAC 19931993

Wrote 5 papers:

CAV-1994-LamB #automaton
Criteria for the Simple Path Property in Timed Automata (WKCL, RKB), pp. 27–40.
DAC-1994-LamBS #finite #state machine
Exact Minimum Cycle Times for Finite State Machines (WKCL, RKB, ALSV), pp. 100–105.
CAV-1993-LamB #automaton
Alternating RQ Timed Automata (WKCL, RKB), pp. 237–252.
DAC-1993-LamBS #modelling #using
Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions (WKCL, RKB, ALSV), pp. 128–134.
DAC-1993-LamSBS #fault #performance #trade-off
Delay Fault Coverage and Performance Tradeoffs (WKCL, AS, RKB, ALSV), pp. 446–452.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.