( en | de | ru )

 

Disambiguation of "Saheb, Nasser"

Author of the publication

copydeleteadd this publication to your clipboard
An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems.

, , and . LPAR, volume 2850 of Lecture Notes in Computer Science, page 361-375. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hakim Saheb

Bahman Sahebkar

Shahram Sahebdjami

Mohammed-Hassan Sahebozzamani-Khorassani

Parwiz Sahebi

 

Other publications of authors with the same name

Non-Uniform Random Spanning Trees on Weighted Graphs., and . Theor. Comput. Sci., 218 (2): 263-271 (1999)Concurrency measure in commutation monoids.. Discret. Appl. Math., 24 (1-3): 223-236 (1989)Medians and Centres of Polyominoes., and . Inf. Process. Lett., 57 (4): 175-181 (1996)A Syntactic Approach to Random Walks on Graphs., and . WG, volume 1335 of Lecture Notes in Computer Science, page 258-272. Springer, (1997)Digital Search Trees and the Generation of an Exponentially Distributed Variate., and . CAAP, volume 159 of Lecture Notes in Computer Science, page 221-235. Springer, (1983)An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems., , and . LPAR, volume 2850 of Lecture Notes in Computer Science, page 361-375. Springer, (2003)Probabilistic Analysis of an Election Algorithm in a Tree., and . CAAP, volume 787 of Lecture Notes in Computer Science, page 234-245. Springer, (1994)The Complexity of Generating an Exponentially Distributed Variate., and . J. Algorithms, 7 (4): 463-488 (1986)Formal rational fractions and random walks on cycles., and . Discret. Math., 217 (1-3): 301-313 (2000)Probabilistic LCF.. MFCS, volume 64 of Lecture Notes in Computer Science, page 442-451. Springer, (1978)