%0 Journal Article %1 journals/acta/Bucher86 %A Bucher, Walter %D 1986 %J Acta Inf. %K dblp %N 3 %P 245-253 %T A Regularity Test for Dual Bordered OS Systems. %U http://dblp.uni-trier.de/db/journals/acta/acta23.html#Bucher86 %V 23

@article{journals/acta/Bucher86, added-at = {2011-01-11T00:00:00.000+0100}, author = {Bucher, Walter}, biburl = {https://www.bibsonomy.org/bibtex/2ce7f9726889fb7bf9793e4c114ac501f/dblp}, ee = {http://dx.doi.org/10.1007/BF00289112}, interhash = {10b44b84e707b7aeb4264817afc159a3}, intrahash = {ce7f9726889fb7bf9793e4c114ac501f}, journal = {Acta Inf.}, keywords = {dblp}, number = 3, pages = {245-253}, timestamp = {2011-01-12T11:32:07.000+0100}, title = {A Regularity Test for Dual Bordered OS Systems.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta23.html#Bucher86}, volume = 23, year = 1986 }