Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 57,884
Number of items: 57,884
  • Abreu, P., Augustinus, A., Boudinov, E., Holthuizen, D. J., Kjaer, N. J., Kluit, P. M., Koene, B. K. S., Merk, M. H. M., Mulders, M. P., Nieuwenhuizen, M., Ruckstuhl, W., Timmermans, J. J. M., Toet, D. Z., van Apeldoorn, G. W., van Dam, P. H. A., & van Eldik, J. E. (1997). Measurement of the transverse spin correlation in $Z\rightarrow\tau^+\tau^-$ decays. Physics Letters B, 404, 194. https://doi.org/10.1016/S0370-2693(97)00586-8
  • Acciarri, M., Bobbink, G. J., Buijs, A., Buytenhuijs, A., Colijn, A. P., de Boeck, H., van Dierendonck, D. N., Duinker, P., ErnĂ©, F. C., van Hoek, W. C., Kittel, W., Konig, A. C., Kuijten, H., Linde, F. L., Massaro, G. G. G., Metzger, W. J., van Mil, A. J. W., van Rhee, T., van Rossum, W., ... van de Walle, R. T. (1997). Measurement of Inclusive $\omega$ and $\eta^\prime$ production in hadronic $Z$ decays. Physics Letters B, 393, 465. https://doi.org/10.1016/S0370-2693(96)01683-8
  • van der Graaf, M. (1997). A Specification of Box to HTML in ASF+SDF. (Technical Report; No. P9720). onbekend (FdL).
  • Abreu, P., Augustinus, A., Boudinov, E., Holthuizen, D. J., Kjaer, N. J., Kluit, P. M., Koene, B. K. S., Merk, M. H. M., Mulders, M. P., Nieuwenhuizen, M., Ruckstuhl, W., Siccama, I., Timmermans, J. J. M., Toet, D. Z., van Apeldoorn, G. W., van Dam, P. H. A., & van Eldik, J. E. (1997). Search for $B^0_s - \overline{B^0_s}$ oscillations. Physics Letters B, 414, 382.
  • de Jonge, M. (1997). Reuse of ASF+SDF Specifications by means of Renaming. (Technical Report; No. P9718). onbekend (FdL).
  • Korver, H. P., & Sellink, M. P. A. (1997). A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. (Technical Report; No. P9703). onbekend (FdL).
  • Luttik, S. P. (1997). Description and formal specification of the link layer of p1394. (Technical Report; No. SEN-R9706). CWI.
  • Luttik, S. P., & Visser, E. (1997). Specification of Rewriting Strategies. (Technical Report; No. P9710). onbekend (FdL).
  • Moonen, L. M. F. (1997). A Generic Architecture for Data Flow Analysis to Support Reverse Engineering. (Technical Report; No. P9711). onbekend (FdL).
  • Olivier, P. A. (1997). Debugging Distributed Applications Using a Coordination Architecture. (Technical Report; No. P9704). onbekend (FdL).
Page 5037 of 5789