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 Wed Oct 1 13:29:56 2014 BST.