|
@inproceedings{Lam08a, author = {Kai Lampka}, title = {A New Algorithm for Partitioned Symbolic Reachability Analysis}, address = {Amsterdam, The Netherlands}, booktitle = {Proceedings of the Workshop on Reachability Problems}, number = {15}, pages = {137----151}, publisher = {Elsevier Science Publishers B. V.}, volume = {223}, month = {Dec}, year = {2008} }