Prefix and Projection onto State in Duration Calculus.  UNU/IIST Technical Report 236, P.O. Box 3058, Macau, April 2001

Dimitar Guelev, D Hung Van

Research output: Book/Report › Commissioned report

Proceedings of TPTS'02, April 6-7 2002, Grenoble, France

Cite this

@book{d4998b083ce04415823186a729784c1b,

title = "Prefix and Projection onto State in Duration Calculus. UNU/IIST Technical Report 236, P.O. Box 3058, Macau, April 2001",

author = "Dimitar Guelev and {Hung Van}, D",

note = "Proceedings of TPTS'02, April 6-7 2002, Grenoble, France",

year = "2002",

month = jan,

day = "1",

language = "English",

volume = "ENTCS 65",

publisher = "Elsevier",

}

TY - BOOK

T1 - Prefix and Projection onto State in Duration Calculus. UNU/IIST Technical Report 236, P.O. Box 3058, Macau, April 2001

AU - Guelev, Dimitar

AU - Hung Van, D

N1 - Proceedings of TPTS'02, April 6-7 2002, Grenoble, France

PY - 2002/1/1

Y1 - 2002/1/1

M3 - Commissioned report

VL - ENTCS 65

BT - Prefix and Projection onto State in Duration Calculus. UNU/IIST Technical Report 236, P.O. Box 3058, Macau, April 2001

PB - Elsevier

ER -