Elena M. Bortnik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2005–2005
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | FMICS | Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. | Anton Wijs, Jaco van de Pol, Elena M. Bortnik |
| 2005 | ICINCO | Verification of timed chi models using uppaal. | Elena M. Bortnik, D. A. van Beek, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |