J. Staunstrup

发表

Stephen J. Garland, J. Guttag, J. Staunstrup, 1988 .
L. S. Nielsen, Jens Sparsø, Lars Skovby Nielsen, 1993, Asynchronous Design Methodologies.
Jens Sparsø, Jørgen Staunstrup, Michael Dantzer-Sørensen, 1992, Proceedings EURO-DAC '92: European Design Automation Conference.
Bertrand Meyer, Jan van Leeuwen, Christine Choppy, 2009, CACM.
Jørgen Staunstrup, Peter Møller-Nielsen, J. Staunstrup, 1985 .
Stephen J. Garland, Jørgen Staunstrup, John V. Guttag, 1992, TPCD.
Jens Sparsø, Jørgen Staunstrup, J. Sparsø, 1993, Integr..
Kim G. Larsen, Arne Skou, Gerd Behrmann, 2000, Computer.
Jørgen Staunstrup, Henrik Reif Andersen, Niels Maretti, 1997, TAPSOFT.
Jørgen Staunstrup, Henrik Reif Andersen, Niels Maretti, 1997, TACAS.
Jørgen Staunstrup, Niels Mellergaard, J. Staunstrup, 1995, Formal Methods Syst. Des..
J. Staunstrup, A. Ravn, J. Staunstrup, 1994, Third International Workshop on Hardware/Software Codesign.
Jürg Nievergelt, Jørgen Staunstrup, J. Nievergelt, 1989, Inf. Process. Lett..
Peter Møller-Nielsen, Jørgen Staunstrup, J. Staunstrup, 1987, Parallel Comput..
Michael R. Hansen, Zhou Chaochen, Jørgen Staunstrup, 1992 .
Jørgen Staunstrup, J. Staunstrup, 1982, Softw. Pract. Exp..
Jørgen Staunstrup, Niels Mellergaard, J. Staunstrup, 1994, TPCD.
Wayne Wolf, Jørgen Staunstrup, W. Wolf, 1997 .
Jørgen Staunstrup, Peter Møller-Nielsen, J. Staunstrup, 1984, Inf. Process. Lett..
Joseph A. Goguen, Jørgen Staunstrup, J. Goguen, 1981, Program Specification.