IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Safety and liveness in concurrent pointer programs
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
An ontology-based first-order modal logic
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Model checking quantified computation tree logic
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Hi-index | 0.00 |