Gast ::
000224053 001__ 224053 000224053 005__ 20240227123145.0 000224053 0247_ $$2I:(DE-82)$$aI:(DE-82)121310_20140620 000224053 0247_ $$2ORGID$$aORG-89WDC 000224053 035__ $$aI:(DE-82)121310_20140620 000224053 1101_ $$aLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$y20140620 000224053 371__ $$cLehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)$$s20140620$$vIDMRWTH 000224053 37399 $$0I:(DE-588b)36225-6$$aRWTH Aachen$$iabsolut top$$kRWTH$$s20140620$$wr 000224053 37398 $$0I:(DE-82)121310_20140620$$s20140620$$vIDMRWTH 000224053 4101_ $$a121310$$d20140620$$wd 000224053 4101_ $$aLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)$$wa$$y20140620 - 20220119124456.0Z 000224053 4101_ $$aLehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)$$wa$$y20140620 000224053 5101_ $$0I:(DE-588b)36225-6$$2IDMRWTH$$aRWTH Aachen$$wt 000224053 909CO $$ooai:publications.rwth-aachen.de:224053$$pauthority$$pauthority:INSTITUTE 000224053 980__ $$aI 000224053 980__ $$aAUTHORITY