Search | Browse | Templates | Query | |||||
paperid | title | year | banks_node_id |
---|---|---|---|
conf/lomaps/NielsonCDDJMT96 | Logical and Operational Methods in the Analysis of Programs and Systems. | 1996 | 639426 |
Click here to go back to the BANKS homepage.
About BANKS - Help - People - Publications