| Search | Browse | Templates | Query | |||||
| paperid | title | year | banks_node_id |
|---|---|---|---|
| journals/tse/ChengBMW93 | Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. | 1993 | 730280 |
Click here to go back to the BANKS homepage.
About BANKS - Help - People - Publications