AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Bengt Jonsson

Bengt Jonsson

Uppsala University - Uppsala / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1147405
Uppsala Universitet
person_outline Bengt Jonsson's MOST POPULAR ARTICLES
1-) A logic for reasoning about time and reliability Formal aspects of computing 6 (5), 512-535, 1994
2-) General decidability theorems for infinite-state systems Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 313-321, 1996
3-) Model-based testing of reactive systems Volume 3472 of Springer LNCS, 2005
4-) Verifying programs with unreliable channels information and computation 127 (2), 91-101, 1996
5-) Specification and refinement of probabilistic processes Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science …, 1991