Faster Algorithms for Alternating Refinement Relations (bibtex)
by Krishnendu Chatterjee, Siddhesh Chaubal, Pritish Kamath
Reference:
Faster Algorithms for Alternating Refinement RelationsKrishnendu Chatterjee, Siddhesh Chaubal, Pritish KamathCSL, pages 167-182, 2012.
Bibtex Entry:
@inproceedings{CCK12,
title = {Faster Algorithms for Alternating Refinement Relations},
url = {http://arxiv.org/pdf/1201.4449.pdf?origin=publication_detail},
booktitle = {CSL},
author = {Krishnendu Chatterjee and Siddhesh Chaubal and Pritish Kamath},
year = {2012},
pages = {167-182},
}
Powered by bibtexbrowser