Publicaţia "International Scientific Journal of Computing" Publication |
Lucrări identificate cu plagiate/ Plagiarized works
|
Nr/No |
Opera neautentică / NON-authentic work
|
Opera autentică /Authentic work
|
Index
|
1. |
00173/00. |
MINEA, Marius; IZBAŞA, Cornel; JEBELEAN, Călin.
Experience with Formal Verification of SDL Protocols.
International Scientific Journal of Computing. 2(3). 2003. p.63-68.
Agenţi favorizatori / Garanţi de integritate // Enhancer agents / Integrity guarantors Stare/State: Lucrare NERETRACTATĂ / NOT-RETRACTED work. |
MINEA, Marius; IZBAŞA, Cornel; JEBELEAN, Călin.
Experience with Formal Verification of SDL Protocols. In: IeAT Report Series No. 03 -04, Institutul eAustria, Timişoara. 2003. p.1-7.
Disponibil la: http :// www . ieat . ro / wp-content / uploads / 2012 / 09 / technical_reports / Report_IeAT_4 . pdf. Ultima accesare: 25 august 2015.
|
4.09.2015 |
© 2016 GRAUR - Grupul pentru Reformă şi Alternativă Universitară, Cluj-Napoca, România
|