Publisher: 汉斯出版社
ISSN: 2161-881X
Source: Computer Science and Application, Vol.02, Iss.02, 2012-06, pp. : 51-56
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Distributed breadth-first search LTL model checking
Formal Methods in System Design, Vol. 29, Iss. 2, 2006-09 ,pp. :
Semi-dynamic breadth-first search in digraphs
By Franciosa P.G. Frigioni D. Giaccio R.
Theoretical Computer Science, Vol. 250, Iss. 1, 2001-01 ,pp. :