The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP.

Christel Baier, Mila E. Majster-Cederbaum

Browse the full FCT paper archive.