Roni Rosner (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 David Harel, Roni Rosner, Moshe Y. Vardi: On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) LICS 1990: 478-488

Selection of 1 from 11 records - Roni Rosner has 10 coauthors