Has the paper 'A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System' not been published by M. U. Iftikhar in FOCLASA?
Was the paper 'A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System' not published by M. U. Iftikhar in FOCLASA?
ASK { <https://dblp.org/rec/journals/corr/abs-1208-4635> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/117/9113> . <https://dblp.org/rec/journals/corr/abs-1208-4635> <https://dblp.org/rdf/schema#publishedIn> 'FOCLASA' FILTER NOT EXISTS { <https://dblp.org/rec/journals/corr/abs-1208-4635> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/117/9113> . <https://dblp.org/rec/journals/corr/abs-1208-4635> <https://dblp.org/rdf/schema#publishedIn> 'FOCLASA' } }
<https://dblp.org/pid/117/9113> <https://dblp.org/rec/journals/corr/abs-1208-4635>