Dominique Perrin
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
On the expressive power of temporal logic for finite wordsJournal of Computer and System Sciences, 1993, 46, pp.271-294. ⟨10.1016/0022-0000(93)90005-H⟩
Article dans une revue
hal-00020069v1
|