![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Andersen Reid Chung Fan Lu Linyuan
Publisher: Springer Publishing Company
ISSN: 0178-4617
Source: Algorithmica, Vol.47, Iss.4, 2007-05, pp. : 397-397
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Verification of distributed systems with local-global predicates
By Chandy K.
Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Schnyder Decompositions for Regular Plane Graphs and Application to Drawing
Algorithmica, Vol. 62, Iss. 3-4, 2012-04 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Towards area requirements for drawing hierarchically planar graphs
Theoretical Computer Science, Vol. 292, Iss. 3, 2003-01 ,pp. :