Concepedia

Jari Stenman

JS

1

Publications

69

Citations

1

H-Index

2012

Active since

Affiliations

Uppsala University(Current)

Jari Stenman is an author at Uppsala University specializing in formal methods, computational complexity, and real-time systems.

Top concepts

Publications per year

2012–2012

1

Publications

1

Dense-Timed Pushdown Automata

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman · 2012 · 69 citations

, , +12

Rows per page

1–1 of 1