%0 Conference Paper %1 conf/wia/Lugiez04 %A Lugiez, Denis %B CIAA %D 2004 %E Domaratzki, Michael %E Okhotin, Alexander %E Salomaa, Kai %E Yu, Sheng %I Springer %K dblp %P 321-322 %T From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P). %U http://dblp.uni-trier.de/db/conf/wia/ciaa2004.html#Lugiez04 %V 3317 %@ 3-540-24318-6

@inproceedings{conf/wia/Lugiez04, added-at = {2017-05-25T00:00:00.000+0200}, author = {Lugiez, Denis}, biburl = {https://www.bibsonomy.org/bibtex/28174e09392ed62384d3dde34c3d566a5/dblp}, booktitle = {CIAA}, crossref = {conf/wia/2004}, editor = {Domaratzki, Michael and Okhotin, Alexander and Salomaa, Kai and Yu, Sheng}, ee = {https://doi.org/10.1007/978-3-540-30500-2_35}, interhash = {cbae0d5fb2a2583dd597eee04ee2b19e}, intrahash = {8174e09392ed62384d3dde34c3d566a5}, isbn = {3-540-24318-6}, keywords = {dblp}, pages = {321-322}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-20T11:48:48.000+0100}, title = {From Automata to Semilinear Sets: A Logical Solution for Sets L(C, P).}, url = {http://dblp.uni-trier.de/db/conf/wia/ciaa2004.html#Lugiez04}, volume = 3317, year = 2004 }