MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The Schorr-Waite Graph Marking Algorithm." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 21 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • unknown title  
  • by unknown authors
  • … Schorr-Waite graph-marking algorithm, which has already been used several times as acase study…
  • Add To MetaCart
  • data structure (abstract of invited lecture). In Fritz Henglein,  
  • by Structure In Jim Davies, Bill Roscoe, Jim Woodcock, Peter W. O’hearn, John C. Reynolds, Hongseok Yang Local Reasoning, John C. Reynolds, John Hughes, Henning Makholm, Henning Niss
  • …://ftp.cs.cmu.edu/user/jcr/spacetalk.ps.gz. [12] Hongseok Yang. An example of local reasoning in BI pointer logic: The Schorr-Waite graph marking…
  • Add To MetaCart
  • Formal Methods for Legacy Systems  
  • by M. P. Ward, K. H. Bennett — 1995 — J. Software Maintenance: Research and Practice
  • ….1.2 The Schorr-Waite Graph Marking Algorithm Our next example is a forward engineering example: the Schorr-Waite…
  • Cited by 9 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB