TY  - CONF
A1  - Timpf, Sabine
A1  - Kuhn, Werner
A2  - Alpuente Frasnedo, Maria
T1  - Functional specifications of multilevel highway navigation [extended abstract]
T2  - Workshop on Functional and Logic Programming in Benicassim, Benicassim, Spain, 2000
Y1  - 2019
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/53560
SP  - 480
EP  - 485
PB  - Polytechnical University Valencia
CY  - Valencia
ER  -