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 Sat Feb 28 00:21:41 2015 GMT.