%0 Conference Paper %1 conf/dimacs/MeyerR96 %A Meyer, Albert R. %A Rabinovich, Alexander Moshe %B Partial Order Methods in Verification %D 1996 %E Peled, Doron A. %E Pratt, Vaughan R. %E Holzmann, Gerard J. %I DIMACS/AMS %K dblp %P 203-211 %T A solution of an interleaving decision problem by a partial order technique. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#MeyerR96 %V 29 %@ 978-0-8218-0579-4

@inproceedings{conf/dimacs/MeyerR96, added-at = {2022-06-09T00:00:00.000+0200}, author = {Meyer, Albert R. and Rabinovich, Alexander Moshe}, biburl = {https://www.bibsonomy.org/bibtex/2472f3a5c94cc8ab21da844eab83b0739/dblp}, booktitle = {Partial Order Methods in Verification}, crossref = {conf/dimacs/dimacs29}, editor = {Peled, Doron A. and Pratt, Vaughan R. and Holzmann, Gerard J.}, ee = {https://doi.org/10.1090/dimacs/029/11}, interhash = {3ce48d10e1970875f3a3cf013fa08e7e}, intrahash = {472f3a5c94cc8ab21da844eab83b0739}, isbn = {978-0-8218-0579-4}, keywords = {dblp}, pages = {203-211}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:59:46.000+0200}, title = {A solution of an interleaving decision problem by a partial order technique.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#MeyerR96}, volume = 29, year = 1996 }