Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}