Travelled to:
1 × United Kingdom
Collaborated with:
K.G.Larsen A.Wasowski
Talks about:
transform (1) synchron (1) reactiv (1) program (1) specif (1) color (1) blind (1)
Person: Ulrik Larsen
DBLP: Larsen:Ulrik
Contributed to:
Wrote 1 papers:
- FASE-2005-LarsenLW #source code #specification
- Color-Blind Specifications for Transformations of Reactive Synchronous Programs (KGL, UL, AW), pp. 160–174.