000			00676naa a2200157 a 4500
003			AR-LpUFIB
005			20250311170342.0
008			230201nuuuu xx r 000 0 ||| d
024	8		_aDIF-M4783 _b1734 _zDIF004584
040			_aAR-LpUFIB _bspa _cAR-LpUFIB
100	1		_aLuna, Carlos Daniel
245	1	0	_aCombinando "Model Checking" y "Proof Checking" en el análisis de sistemas de tiempo real
300			_ap. 554-558
773			_7nnam _aWorkshop de Investigadores en Ciencias de la Computación (6º : 2004 : Neuquén) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad Nacional del Comahue _tWICC 2004 [CD-ROM] _oDIF-02527
942			_cCP
999			_c54432 _d54432