%0 Conference Paper %1 conf/icnp/CacciariR93 %A Cacciari, Leo %A Rafiq, Omar %B ICNP %D 1993 %I IEEE Computer Society %K dblp %P 158-165 %T Decidability issues in reduced reachability analysis. %U http://dblp.uni-trier.de/db/conf/icnp/icnp1993.html#CacciariR93 %@ 0-8186-3670-X

@inproceedings{conf/icnp/CacciariR93, added-at = {2023-03-24T00:00:00.000+0100}, author = {Cacciari, Leo and Rafiq, Omar}, biburl = {https://www.bibsonomy.org/bibtex/25f6c9a3595620778686bba5d913645a3/dblp}, booktitle = {ICNP}, crossref = {conf/icnp/1993}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICNP.1993.340922}, interhash = {400ff203cfaee5f363b27edfa8ca212e}, intrahash = {5f6c9a3595620778686bba5d913645a3}, isbn = {0-8186-3670-X}, keywords = {dblp}, pages = {158-165}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:13:41.000+0200}, title = {Decidability issues in reduced reachability analysis.}, url = {http://dblp.uni-trier.de/db/conf/icnp/icnp1993.html#CacciariR93}, year = 1993 }