AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Doron A Peled

Doron A Peled

Bar Ilan University - Ramat Gan / Israel
Engineering & Technology / Computer Science
AD Scientific Index ID: 293965
אוניברסיטת בר-אילן
person_outline Doron A Peled's MOST POPULAR ARTICLES
1-) Model checking International conference on foundations of software technology and …, 1997
2-) Simple on-the-fly automatic verification of linear temporal logic International Conference on Protocol Specification, Testing and Verification …, 1995
3-) All from one, one for all: on model checking using representatives International Conference on Computer Aided Verification, 409-423, 1993
4-) An improvement in formal verification Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995
5-) Combining partial order reductions with on-the-fly model-checking International Conference on Computer Aided Verification, 377-390, 1994