Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Telford, Alastair
and
Turner, David
1997.
Algebraic Methodology and Software Technology.
Vol. 1349,
Issue. ,
p.
509.
Paulson, Lawrence C.
1997.
Mathematical Methods in Program Development.
p.
461.
Christensen, Søren
and
Mortensen, Kjeld H.
1997.
Application and Theory of Petri Nets 1997.
Vol. 1248,
Issue. ,
p.
290.
Didrich, Klaus
Grieskamp, Wolfgang
Maeder, Christian
and
Pepper, Peter
1998.
Implementation of Functional Languages.
Vol. 1467,
Issue. ,
p.
322.
Moten, Roderick
1998.
Theorem Proving in Higher Order Logics.
Vol. 1479,
Issue. ,
p.
315.
Benton, Nick
Kennedy, Andrew
and
Russell, George
1998.
Compiling standard ML to Java bytecodes.
p.
129.
Kuusela, J.
Maccari, A.
and
Jianli Xu
1998.
Architectural modeling in industry-an experience report.
p.
512.
Aagaard, Mark D.
Jones, Robert B.
and
Seger, Carl-Johan H.
1999.
Theorem Proving in Higher Order Logics.
Vol. 1690,
Issue. ,
p.
323.
Karsai, G.
and
Sztipanovits, J.
1999.
A model-based approach to self-adaptive software.
IEEE Intelligent Systems,
Vol. 14,
Issue. 3,
p.
46.
Camarão, Carlos
and
Figueiredo, Lucília
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
37.
Ogawa, Mizuhito
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
131.
Benton, Nick
Kennedy, Andrew
and
Russell, George
1999.
Compiling standard ML to Java bytecodes.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 1,
p.
129.
Kröger, Joachim
Illner, Regina
Rost, Steffen
and
Heuer, Andreas
1999.
Advances in Databases and Information Systems.
Vol. 1691,
Issue. ,
p.
288.
Dumitrescu, Romeo A.
and
Lederer, Edgar F. A.
1999.
Reliable and efficient matrix processing with the specification-consistent coordination model.
p.
191.
Mortensen, Kjeld H.
2000.
Application and Theory of Petri Nets 2000.
Vol. 1825,
Issue. ,
p.
367.
Ozols, Maris A.
Henderson, Marie
Liu, Chuchang
and
Cant, Tony
2000.
Information Security and Privacy.
Vol. 1841,
Issue. ,
p.
206.
Pucella, Riccardo
2000.
Modular Programming Languages.
Vol. 1897,
Issue. ,
p.
104.
Boulton, Richard J.
and
Slind, Konrad
2000.
Computational Logic — CL 2000.
Vol. 1861,
Issue. ,
p.
629.
Aagaard, Mark D.
Jones, Robert B.
Melham, Thomas F.
O’Leary, John W.
and
Seger, Carl-Johan H.
2000.
Formal Methods in Computer-Aided Design.
Vol. 1954,
Issue. ,
p.
300.
Randell, B.
Romanovsky, A.
and
Jie Xu
2000.
Concurrent exception handling and resolution in distributed object systems.
IEEE Transactions on Parallel and Distributed Systems,
Vol. 11,
Issue. 10,
p.
1019.