Short Presentation: Stuttering Refinement on Partial Systems (at LICS 2003)
Authors: Shiva Nejati Arie GurfinkelAbstract
No Abstract Available
BibTeX
@InProceedings{NejatiGurfinkel-StutteringRefinemen, author = {Shiva Nejati and Arie Gurfinkel}, title = {Stuttering Refinement on Partial Systems}, booktitle = {Proceedings of the Eighteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2003}, year = 2003, editor = {Phokion G. Kolaitis}, month = {June}, location = {Ottawa, Canada}, note = {Short Presentation}, publisher = {IEEE Computer Society Press} }