Вы здесь
Pradat-Peyre J. -F.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | On Liveness and Controlled Siphons in Petri Nets | 1996 | Barkaoui K., Pradat-Peyre J. -F. | Lecture Notes in Computer Science | 01.08.1996 | |||
СТ | Automatic Verification of Concurrent Ada Programs | 1999 | Bruneton E., Pradat-Peyre J. -F. | Lecture Notes in Computer Science | 29.06.1999 | |||
СТ | Quasar: A New Tool for Concurrent Ada Programs Analysis | 2003 | Evangelista S., Kaiser C., Pradat-Peyre J. -F., Rousseau P. | Lecture Notes in Computer Science | 28.06.2003 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Formal Techniques for Networked and Distributed Systems - FORTE 2006: Proc./26th IFIP WG 6.1 International Conference. Paris, France, September 2006 | 2006 | Lecture Notes in Computer Science |
|
11.01.2007 |