Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa old.ad-astra.ro

Facebook

VISSAS 2005, NATO Advanced Research Workshop „Verification of infinite-state systems with applications to security”

Timisoara, March 17-22, 2005.

Details at

http://vissas.ieat.ro