B | |
---|---|
[BT99] | Patrick Blackburn et
Miroslava Tzakova.
Hybrid Languages and Temporal Logic.
Logic Journal of the IGPL 7(1):27-54. Oxford University Press, janvier 1999.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
B | |
---|---|
[BT99] | Patrick Blackburn et
Miroslava Tzakova.
Hybrid Languages and Temporal Logic.
Logic Journal of the IGPL 7(1):27-54. Oxford University Press, janvier 1999.
|