Travelled to:
1 × USA
Collaborated with:
S.Katz
Talks about:
transit (1) exploit (1) space (1) invis (1) fulli (1) save (1)
Person: Hillel Miller
DBLP: Miller:Hillel
Contributed to:
Wrote 1 papers:
- CAV-1996-MillerK
- Saving Space by Fully Exploiting Invisible Transitions (HM, SK), pp. 336–347.