howe2009

P. Hooimeijer, W. Weimer. A decision procedure for subset constraints over regular languages. In ACM SIGPLAN Notices, Volume 44, Pages 188-198, 2009.

Keyword

[ Regexp ]

Contact

P. Hooimeijer
W. Weimer

BibTex Reference

@InProceedings{howe2009,
   Author = {Hooimeijer, P. and Weimer, W.},
   Title = {A decision procedure for subset constraints over regular languages},
   BookTitle = {ACM SIGPLAN Notices},
   Volume = {44},
   Number = {6},
   Pages = {188--198},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)