Concepedia

Elena M. Bortnik

EM

2

Publications

49

Citations

2

H-Index

2005

Active since

Affiliations

Eindhoven University of Technology(Current)

Centrum Wiskunde & Informatica

Elena M. Bortnik is an author at Eindhoven University of Technology specializing in physics and computer engineering.

Top concepts

Publications per year

2005–2005

2

Publications

2

Analyzing a χ model of a turntable system using Spin, CADP and Uppaal

Elena M. Bortnik, Nikola Trčka, Anton Wijs et al. · The Journal of Logic and Algebraic Programming · 2005 · 39 citations · Full text

, , +1

Solving scheduling problems by untimed model checking

Anton Wijs, Jaco van de Pol, Elena M. Bortnik · 2005 · 10 citations

Rows per page

1–2 of 2