Sciweavers

RV
2007
Springer

Temporal Assertions with Parametrised Propositions

13 years 9 months ago
Temporal Assertions with Parametrised Propositions
Volker Stolz
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where RV
Authors Volker Stolz
Comments (0)