%0 Conference Paper %1 conf/forte/HogrefeS88 %A Hogrefe, Dieter %A Sarma, Amardeo %B FORTE %D 1988 %E Turner, Kenneth J. %I North-Holland %K %P 157-167 %T Non-Determinism and SDL. %U http://dblp.uni-trier.de/db/conf/forte/forte1988.html#HogrefeS88 %@ 0-444-87126-8

@inproceedings{conf/forte/HogrefeS88, added-at = {2023-12-13T05:23:47.000+0100}, author = {Hogrefe, Dieter and Sarma, Amardeo}, biburl = {https://www.bibsonomy.org/bibtex/2e5890edaf02feae80c567484d726a3ef/admin}, booktitle = {FORTE}, crossref = {conf/forte/1988}, date = {2002-01-03}, editor = {Turner, Kenneth J.}, interhash = {a20d513b1d3f39ac33232c88d1a4057c}, intrahash = {e5890edaf02feae80c567484d726a3ef}, isbn = {0-444-87126-8}, keywords = {}, pages = {157-167}, publisher = {North-Holland}, timestamp = {2023-12-13T05:23:47.000+0100}, title = {Non-Determinism and SDL.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1988.html#HogrefeS88}, year = 1988 }