A formal approach to hybrid systems

P.J.L. Cuijpers, A.L. Juloski

Research output: Contribution to conferencePaperAcademic

Workshop

Workshop2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands
CountryNetherlands
CityUtrecht
Period18/10/0118/10/01

Cite this

Cuijpers, P. J. L., & Juloski, A. L. (2001). A formal approach to hybrid systems. Paper presented at 2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands, Utrecht, Netherlands.
Cuijpers, P.J.L. ; Juloski, A.L./ A formal approach to hybrid systems. Paper presented at 2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands, Utrecht, Netherlands.
@conference{46ff145f8da2418aad2f5d15bd119bc1,
title = "A formal approach to hybrid systems",
author = "P.J.L. Cuijpers and A.L. Juloski",
year = "2001",
language = "English",
note = "2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands ; Conference date: 18-10-2001 Through 18-10-2001",

}

Cuijpers, PJL & Juloski, AL 2001, 'A formal approach to hybrid systems' Paper presented at 2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands, Utrecht, Netherlands, 18/10/01 - 18/10/01, .

A formal approach to hybrid systems. / Cuijpers, P.J.L.; Juloski, A.L.

2001. Paper presented at 2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands, Utrecht, Netherlands.

Research output: Contribution to conferencePaperAcademic

TY - CONF

T1 - A formal approach to hybrid systems

AU - Cuijpers,P.J.L.

AU - Juloski,A.L.

PY - 2001

Y1 - 2001

M3 - Paper

ER -

Cuijpers PJL, Juloski AL. A formal approach to hybrid systems. 2001. Paper presented at 2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands, Utrecht, Netherlands.