Steen, Maarten and Derrick, John and Boiten, Eerke and Bowman, Howard
Consistency of partial process specifications.
In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Jan 04-08, 1999, Amazonia, Brazil.
(Full text available)
This list was generated on Tue Aug 4 19:26:14 2015 BST.