%0 Conference Paper %1 conf/apn/GenrichS92 %A Genrich, Hartmann J. %A Shapiro, Robert M. %B Application and Theory of Petri Nets %D 1992 %E Jensen, Kurt %I Springer %K dblp %P 205-223 %T Formal Verification of an Arbiter Cascade. %U http://dblp.uni-trier.de/db/conf/apn/apn92.html#GenrichS92 %V 616 %@ 3-540-55676-1

@inproceedings{conf/apn/GenrichS92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Genrich, Hartmann J. and Shapiro, Robert M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21d0686b24623b5153aa310efa919b7a1/dblp}, booktitle = {Application and Theory of Petri Nets}, crossref = {conf/apn/1992}, editor = {Jensen, Kurt}, ee = {https://doi.org/10.1007/3-540-55676-1_12}, interhash = {0673ec05666c58cd26aa43aeddb7883d}, intrahash = {1d0686b24623b5153aa310efa919b7a1}, isbn = {3-540-55676-1}, keywords = {dblp}, pages = {205-223}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:23:07.000+0200}, title = {Formal Verification of an Arbiter Cascade.}, url = {http://dblp.uni-trier.de/db/conf/apn/apn92.html#GenrichS92}, volume = 616, year = 1992 }