MASSENSPEKTROMETRISCHE HERKUNFTSBESTIMMUNG VON MARMOR. = DETERMINATION DE L'ORIGINE DU MARBRE A L'AIDE DE LA SPECTROMETRIE DE MASSEHOLZMANN G.1976; INFORMATIONSBL. NACHBARWISSENSCH. UR-FRUEHGESCH.; DTSCH.; DA. 1976; NO 7; PP. 8,1-8,10; BIBL. 4 REF.Article

ORTHO EFFECTS IN SCHIFF BASES OF DIAMINODICYANOETHENEHOLZMANN G; ROTHKOPF HW.1980; ORG. MASS SPECTROM.; GBR; DA. 1980; VOL. 15; NO 2; PP. 92-100; BIBL. 19 REF.Article

EIN JAHR "UNBIBLIOGRAPHIERTER LEIHVERKEHR" - EIN ERFAHRUNGSBERICHT DER UNIVERSITAETSBIBLIOTHEK BOCHUM = UNE ANNEE DE "PRET INTERBIBLIOTHEQUE SANS DESCRIPTION BIBLIOGRAPHIQUE". COMPTE RENDU D'UNE EXPERIENCE PRATIQUEE A LA BIBLIOTHEQUE UNIVERSITAIRE DE BOCHUMDOKTER G; HOLZMANN G.1979; VERB. BIBL. LAND. NORDRHEIN-WESTFALEN, MITTBL.; DEU; DA. 1979; VOL. 29; NO 3; PP. 262-266; BIBL. DISSEM.Article

APPLICATION OF LINKED SCANS IN PYROLYSIS MASS SPECTROMETRY OF POLYMERSHOLZMANN G; KOSSMEHL G.1980; ORG. MASS SPECTROM.; ISSN 0030-493X; GBR; DA. 1980; VOL. 15; NO 7; PP. 336-342; BIBL. 10 REF.Article

EA-MASSENSPEKTREN CYANSUBSTITUIERTER HETEROCYCLEN = SPECTRES DE MASSE AE D'HETEROCYCLES CYANOSUBSTITUESHOLZMANN G; ROTHKOPF HW.1978; ORG. MASS SPECTROM.; GBR; DA. 1978; VOL. 13; NO 11; PP. 636-641; ABS. ENG; BIBL. 31 REF.Article

IDENTIFICATION OF POLYMERS BY MASS SPECTROMETRY, 2. POLYMERS CONTAINING 1-TRIFLUOROMETHYLVINYLENE, 1,4-PHENYLENE, AND/OR 2,5-THIOPHENEDIYL UNITSHOLZMANN G; KOSSMEHL G; NUCK R et al.1982; MAKROMOL. CHEM.; ISSN 0025-116X; CHE; DA. 1982; VOL. 183; NO 7; PP. 1711-1731; BIBL. 50 REF.Article

Standardized protocol interfacesHOLZMANN, G. J.Software, practice & experience. 1993, Vol 23, Num 7, pp 711-731, issn 0038-0644Article

An improved protocol reachability analysis techniqueHOLZMANN, G. J.Software, practice & experience. 1988, Vol 18, Num 2, pp 137-161, issn 0038-0644Article

The PANDORA system: an interactive system for the design of data communication protocolsHOLZMANN, G. J.Computer networks (1976). 1984, Vol 8, Num 2, pp 71-79, issn 0376-5075Article

PICO - A picture editorHOLZMANN, G. J.AT&T technical journal. 1987, Vol 66, Num 2, pp 2-13, issn 8756-2324Article

COLLISIONAL ACTIVATION STUDY OF CYCLIC POLYSULFIDESHOLZMANN G; SUSILO R; GMELIN R et al.1982; ORG. MASS SPECTROM.; ISSN 0030-493X; GBR; DA. 1982; VOL. 17; NO 4; PP. 165-172; BIBL. 16 REF.Article

ISOLIERUNG UND STUKTUR-KONFORMATIONSAUFKLAERUNG DES HAUPTMETABOLITEN VON TRANS-TILIDIN (VALORON ^R) = ISOLEMENT ET ELUCIDATION DE LA CONFORMATION DU METABOLITE PRINCIPAL DE LA TRANS-TILIDINE (VALORON^R)HOLZMANN G; KREUTZER PH; ROTH K et al.1975; ARCH. PHARM.; DTSCH.; DA. 1975; VOL. 308; NO 3; PP. 169-178; ABS. ANGL.; BIBL. 16REF.Article

Designing bug-free protocols with SPINHOLZMANN, G. J.Computer communications. 1997, Vol 20, Num 2, pp 97-105, issn 0140-3664Article

UMLAGERUNGEN SCHIFFSCHER BASEN. = TRANSPOSITION DE BASES DE SCHIFFHOLZMANN G; ROTHKOPF HW; WOHRLE D et al.1978; ORG. MASS SPECTROM.; GBR; DA. 1978; VOL. 13; NO 7; PP. 371-378; ABS. ENG; BIBL. 19 REF.Article

MASSENSPECTROMETRISCHE UNTERSUCHUNGEN ZU DYOTROPEN UMLAGERUNGEN. = ETUDE EN SPECTROMETRIE DE MASSE DES TRANSPOSITIONS DYOTROPESSCHWARZ H; KLIMENT M; REETZ MT et al.1976; ORG. MASS SPECTROM.; G.B.; DA. 1976; VOL. 11; NO 9; PP. 989-994; ABS. ANGL.; BIBL. 15 REF.Article

Mirrors with decoratively ground edgesHOLZMANN, G; WEISNER, C.Glass (Redhill). 1985, Vol 62, Num 9, pp 336-337, issn 0017-0984Article

EIN NEUER WEG ZU 1H-BENZ (F) INDENEN = UNE NOUVELLE VOIE D'ACCES AU 1H-BENZO (F) INDENESREHSE K; SIEMANN U; OSTWALD U et al.1980; ARCH. PHARM.; DEU; DA. 1980; VOL. 313; NO 6; PP. 509-514; ABS. ENG; BIBL. 23 REF.Article

THE MASS SPECTRA OF ALKYL- AND PHENYL-4-IMIDAZOLIN-2-ONESHOLZMANN G; KRIEG B; LAUTENSCHLAGER H et al.1979; J. HETEROCYCL. CHEM.; USA; DA. 1979; VOL. 16; NO 5; PP. 983-991; BIBL. 37 REF.Article

Thermal- and electron impact-induced decarbonylation of tropones: a comparison of neutral and radical-cationic pericyclic reaction mechanismsHOLZMANN, G; FRENKING, G; STEINER, B et al.Perkin transactions. 2. 1984, Num 12, pp 1943-1948, issn 0300-9580Article

Optimizing Büchi automataETESSAMI, K; HOLZMANN, G. J.Lecture notes in computer science. 2000, pp 153-167, issn 0302-9743, isbn 3-540-67897-2Conference Paper

Interval reduction through requirements analysisHOLZMANN, G. J; SMITH, M. H.Bell Labs technical journal. 1998, Vol 3, Num 2, pp 22-31, issn 1089-7089Article

The model checker SPINHOLZMANN, G. J.IEEE transactions on software engineering. 1997, Vol 23, Num 5, pp 279-295, issn 0098-5589Article

Logic verification of ANSI-C code with SPINHOLZMANN, G. J.Lecture notes in computer science. 2000, pp 131-147, issn 0302-9743, isbn 3-540-41030-9Conference Paper

Mass spectroscopic studies of riboflavin and isotopically labelled lumiflavinsHOLZMANN, G; BOCK, M; ELSNER, M et al.Organic mass spectrometry. 1988, Vol 23, Num 11, pp 789-793, issn 0030-493XArticle

On checking model checkersHOLZMANN, G. J.Lecture notes in computer science. 1998, pp 61-70, issn 0302-9743, isbn 3-540-64608-6Conference Paper