%0 Conference Paper %1 conf/icpp/ElradK90 %A Elrad, Tzilla %A Kumar, N. Krishna %B ICPP (2) %D 1990 %E Padua, David A. %I Pennsylvania State University Press %K dblp %P 284-285 %T State-Space Abstraction of Concurrent Programs: A Means to Computation-Progressive Scheduling. %U http://dblp.uni-trier.de/db/conf/icpp/icpp90-2.html#ElradK90

@inproceedings{conf/icpp/ElradK90, added-at = {2007-03-28T00:00:00.000+0200}, author = {Elrad, Tzilla and Kumar, N. Krishna}, biburl = {https://www.bibsonomy.org/bibtex/259ef382b60d9f3257061c4ffb562da91/dblp}, booktitle = {ICPP (2)}, crossref = {conf/icpp/1990-2}, editor = {Padua, David A.}, interhash = {d297cf18c3325e63dbe5b7ce7560f2ad}, intrahash = {59ef382b60d9f3257061c4ffb562da91}, keywords = {dblp}, note = {0-271-00728-1}, pages = {284-285}, publisher = {Pennsylvania State University Press}, timestamp = {2015-06-18T13:44:47.000+0200}, title = {State-Space Abstraction of Concurrent Programs: A Means to Computation-Progressive Scheduling.}, url = {http://dblp.uni-trier.de/db/conf/icpp/icpp90-2.html#ElradK90}, year = 1990 }