Ferucio Laurenţiu Ţiplea

Langue :anglais
Note :
En poste : University of Iaşi, Department of computer science, Roumanie
Autre forme du nom :Ferucio Laurenţiu Ţiplea
ISNI :ISNI 0000 0001 1873 9725

Ses activités

Éditeur scientifique1 document

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Verification of infinite-state systems with applications to security / ed. by Edmund Clarke, Marius Minea, and Ferucio Laurenţiu Ţiplea, cop. 2006

Autre forme du nom

  • Ferucio Laurenţiu Ţiplea

Pages équivalentes