Page preview panel
ON OFF

This is the graph of pages.

All pages ("nodes") in Knowen belong to a directed acyclic graph: more general nodes are to the left (upstream), and more specific to the right (downstream).

Hover over a node to see the node preview; click to select a specific node; mouse scroll to zoom; click and drag to move.

Dashboard

Now you are in the subtree of Distributed Computing project. 

bib for "formal methods"

  • @article{ProvingtheCorrectness:Lamport:@TSE77, author = {Lamport, L.}, title = {Proving the Correctness of Multiprocess Programs}, journal = {IEEE Trans. Softw. Eng.}, issue_date = {March 1977}, volume = {3}, number = {2}, month = mar, year = {1977}, pages = {125--143}, numpages = {19}, publisher = {IEEE Press}, }