<body>
<p>This page uses frames, but your
browser doesn't support them.</p>
</body>
Natalia Sidorova
|
Dept. of Mathematics and Computer Science Technische universiteit Eindhoven PO Box 513 5600 MB Eindhoven The Netherlands Office HG 7.84 Tel. +31 (0)40 2473705 Fax +31 (0)40 2463992 E-mail n.sidorova@tue.nl |
 |
Teaching
Research
Publications
CV
Some forthcoming events
APNOC 2009 -
International Workshop on Abstractions for Petri Nets and Other Models
of Concurrency, Paris, June 22, 2009FM2009 - 16th International Symposium on Formal Methods, Eindhoven, the Netherlands, October 30 - November 7, 2009