R | |
---|---|
[RP86] | Roni Rosner et
Amir Pnueli.
A Choppy Logic.
In LICS'86,
pages 306-313.
IEEE Comp. Soc. Press, juin 1986.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
R | |
---|---|
[RP86] | Roni Rosner et
Amir Pnueli.
A Choppy Logic.
In LICS'86,
pages 306-313.
IEEE Comp. Soc. Press, juin 1986.
|