Travelled to:1 × USA
1 × United Kingdom
Collaborated with:J.Impagliazzo X.He
Talks about:transit (1) histori (1) tempor (1) specif (1) predic (1) enhanc (1) comput (1) petri (1) logic (1) deriv (1)
Person: John A. N. Lee
DBLP: Lee:John_A=_N=
Contributed to:
2004
1989Wrote 3 papers:
- ITiCSE-2004-ImpagliazzoL #using
- Using history to enhance computing courses (JI, JANL), p. 238.
- SEKE-1989-HeL #logic #petri net #specification
- Deriving Temporal Logic Specifications from Predicate Transition Petri Net (XH, JANL), pp. 116–121.