, Volume 20, Issue 2, pp 131-148

A complete deductive-system for since-until branching-time logic

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access