List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found.

---

@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}
}

---

1 entry found.

 
 Back