%0 Conference Paper %1 conf/ifipTCS/AminofLMS08 %A Aminof, Benjamin %A Legay, Axel %A Murano, Aniello %A Serre, Olivier %B IFIP TCS %D 2008 %E Ausiello, Giorgio %E Karhumäki, Juhani %E Mauri, Giancarlo %E Ong, C.-H. Luke %I Springer %K dblp %P 333-348 %T µ-calculus Pushdown Module Checking with Imperfect State Information. %U http://dblp.uni-trier.de/db/conf/ifipTCS/ifipTCS2008.html#AminofLMS08 %V 273 %@ 978-0-387-09679-7

@inproceedings{conf/ifipTCS/AminofLMS08, added-at = {2008-09-15T00:00:00.000+0200}, author = {Aminof, Benjamin and Legay, Axel and Murano, Aniello and Serre, Olivier}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b3a02fb64c8d5ed1fc6b156b18f7dffe/dblp}, booktitle = {IFIP TCS}, crossref = {conf/ifipTCS/2008}, editor = {Ausiello, Giorgio and Karhumäki, Juhani and Mauri, Giancarlo and Ong, C.-H. Luke}, ee = {http://dx.doi.org/10.1007/978-0-387-09680-3_23}, interhash = {41aa71fb491bf2ded19125f9a80381e6}, intrahash = {b3a02fb64c8d5ed1fc6b156b18f7dffe}, isbn = {978-0-387-09679-7}, keywords = {dblp}, pages = {333-348}, publisher = {Springer}, series = {IFIP}, timestamp = {2016-02-02T15:03:14.000+0100}, title = {µ-calculus Pushdown Module Checking with Imperfect State Information.}, url = {http://dblp.uni-trier.de/db/conf/ifipTCS/ifipTCS2008.html#AminofLMS08}, volume = 273, year = 2008 }