|
[BHHK00b]
C. Baier, B. Haverkort, H. Hermanns and J.-P. Katoen.
On the Logical Characterisation of Performability Properties.
In U. Montanari and J. Rolim and E. Welzl (editors), Proc. 27th International Colloquium on Automata, Languages and Programming (ICALP'00), volume 1853 of LNCS, pages 780--792, Springer.
2000.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|