%0 Conference Paper %1 conf/vts/Pomeranz16 %A Pomeranz, Irith %B VTS %D 2016 %I IEEE Computer Society %K dblp %P 1-6 %T A convergent procedure for partially-reachable states. %U http://dblp.uni-trier.de/db/conf/vts/vts2016.html#Pomeranz16 %@ 978-1-4673-8454-4

@inproceedings{conf/vts/Pomeranz16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Pomeranz, Irith}, biburl = {https://www.bibsonomy.org/bibtex/200b94b7da7080e374ba9ca1d18ff493e/dblp}, booktitle = {VTS}, crossref = {conf/vts/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/VTS.2016.7477264}, interhash = {ea4e7c347d328b05dc04484c20f43ffd}, intrahash = {00b94b7da7080e374ba9ca1d18ff493e}, isbn = {978-1-4673-8454-4}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:42:21.000+0200}, title = {A convergent procedure for partially-reachable states.}, url = {http://dblp.uni-trier.de/db/conf/vts/vts2016.html#Pomeranz16}, year = 2016 }