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 Thu Jul 31 01:48:49 2014 BST.