Berteun Damman

According to our database1, Berteun Damman authored at least 2 papers between 2008 and 2009.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Counterexample Generation in Probabilistic Model Checking.
IEEE Trans. Software Eng., 2009

2008
Regular Expressions for PCTL Counterexamples.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008


  Loading...