%0 Conference Paper %1 conf/pstv/DembinskiB87 %A Dembinski, Piotr %A Budkowski, Stanislaw %B PSTV %D 1987 %E Rudin, Harry %E West, Colin H. %I North-Holland %K dblp %P 265-279 %T Simulating Estelle Specifications with Time Parameters. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1987.html#DembinskiB87 %@ 0-444-70293-8

@inproceedings{conf/pstv/DembinskiB87, added-at = {2002-01-03T00:00:00.000+0100}, author = {Dembinski, Piotr and Budkowski, Stanislaw}, biburl = {https://www.bibsonomy.org/bibtex/25e0215f59e8bb7ff3d9d0659f9d2702c/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1987}, date = {2002-01-03}, description = {dblp}, editor = {Rudin, Harry and West, Colin H.}, interhash = {6ca53a25f57fb18941289593e9602159}, intrahash = {5e0215f59e8bb7ff3d9d0659f9d2702c}, isbn = {0-444-70293-8}, keywords = {dblp}, pages = {265-279}, publisher = {North-Holland}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Simulating Estelle Specifications with Time Parameters.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1987.html#DembinskiB87}, year = 1987 }