Searching for "A Constraint Oriented Proof Methodology Based on Modal Transition Systems." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A Constraint Oriented Proof Methodology Based on Modal Transition Systems
- …A Constraint Oriented Proof Methodology based on Modal Transition Systems Kim G. Larsen BRICS y…
- Cited by 29 (6 self) – Add To MetaCart
-
A Constraint Oriented Proof Methodology based on Modal Transition Systems
- …BRICS Basic Research in Computer Science A Constraint Oriented Proof Methodology based on Modal…
- Add To MetaCart
-
Proc. of the 6th Nordic Workshop on Programming Theory, 17-19 October 1994, Aarhus, Denmark
- … --- abstract 237 J. Jeuring A constraint oriented proof methodology based on modal transition systems 238 K…
- Add To MetaCart
Showing 1 through 3.
