Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
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.
Telford, Alastair
and
Turner, David
1997.
Algebraic Methodology and Software Technology.
Vol. 1349,
Issue. ,
p.
509.
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.
Didrich, Klaus
Grieskamp, Wolfgang
Maeder, Christian
and
Pepper, Peter
1998.
Implementation of Functional Languages.
Vol. 1467,
Issue. ,
p.
322.
Karsai, G.
and
Sztipanovits, J.
1999.
A model-based approach to self-adaptive software.
IEEE Intelligent Systems,
Vol. 14,
Issue. 3,
p.
46.
Dumitrescu, Romeo A.
and
Lederer, Edgar F. A.
1999.
Reliable and efficient matrix processing with the specification-consistent coordination model.
p.
191.
Kröger, Joachim
Illner, Regina
Rost, Steffen
and
Heuer, Andreas
1999.
Advances in Databases and Information Systems.
Vol. 1691,
Issue. ,
p.
288.
Ogawa, Mizuhito
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
131.
Aagaard, Mark D.
Jones, Robert B.
and
Seger, Carl-Johan H.
1999.
Theorem Proving in Higher Order Logics.
Vol. 1690,
Issue. ,
p.
323.
Camarão, Carlos
and
Figueiredo, Lucília
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
37.
Benton, Nick
Kennedy, Andrew
and
Russell, George
1999.
Compiling standard ML to Java bytecodes.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 1,
p.
129.
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.
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.
Slind, Konrad
2000.
Theorem Proving in Higher Order Logics.
Vol. 1869,
Issue. ,
p.
498.
Ozols, Maris A.
Henderson, Marie
Liu, Chuchang
and
Cant, Tony
2000.
Information Security and Privacy.
Vol. 1841,
Issue. ,
p.
206.
Mortensen, Kjeld H.
2000.
Application and Theory of Petri Nets 2000.
Vol. 1825,
Issue. ,
p.
367.