Search results

  • Full text

  • Document type

  • Publication year

  • Organisation

Results: 58,357
Number of items: 58,357
  • 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).
  • Partington, V. (1997). Implementation of an Imperative Programming Language with Backtracking. (Technical Report; No. P9712). onbekend (FdL).
  • Sellink, M. P. A., & Verhoef, C. (1997). Reflections on the Evolution of COBOL. (Technical Report; No. P9721). onbekend (FdL).
Page 5115 of 5836