Digital Library |
|
||||||||||||||||||||||||||||
Close | Browse articles from a journal | ||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Journal description | |||||||||||||||||||||||||||||
All volumes of the corresponding journal | |||||||||||||||||||||||||||||
All issues of the corresponding volume | |||||||||||||||||||||||||||||
All articles of the corresponding issues | |||||||||||||||||||||||||||||
Details for article 1 of 14 found articles
|
|||||||||||||||||||||||||||||
A general scheme for automatic generation of search heuristics from specification dependencies ☆ ☆ Preliminary versions of this paper were presented in [15,16,18]. This work was supported in part by NSF grant IIS-0086529 and by MURI ONR award N00014-00-1-0617. |
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Details for article 1 of 14 found articles
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Koninklijke Bibliotheek - National Library of the Netherlands |