|
СБ |
Reachability Problems: Proc./6th International Workshop, RP 2012, Bordeaux, France, September 2012 |
2012 |
|
Lecture Notes in Computer Science |
- Finkel A.
- Leroux J.
- Potapov I.
|
|
|
11.12.2012 |
|
СБ |
Coputer Aided Verification: Proc./13th Intern. Conf., CAV 2001, Paris, France, July 2001 |
2001 |
|
Lecture Notes in Computer Science |
- Berry G.
- Comon H.
- Finkel A.
|
|
|
04.08.2001 |
|
СБ |
STACS 93: Proc./10th Annual Symp. on Theoretical Aspects of Computer Science. Wurzburg, Germany, February 1993 |
1993 |
|
Lecture Notes in Computer Science |
- Enjalbert P.
- Finkel A.
- Wagner K. W.
|
|
|
05.04.1993 |
