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 Fri May 29 19:25:09 2015 BST.