Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
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.
Paulson, Lawrence C.
1997.
Mathematical Methods in Program Development.
p.
461.
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.
Dumitrescu, Romeo A.
and
Lederer, Edgar F. A.
1999.
Reliable and efficient matrix processing with the specification-consistent coordination model.
p.
191.
Karsai, G.
and
Sztipanovits, J.
1999.
A model-based approach to self-adaptive software.
IEEE Intelligent Systems,
Vol. 14,
Issue. 3,
p.
46.
Kröger, Joachim
Illner, Regina
Rost, Steffen
and
Heuer, Andreas
1999.
Advances in Databases and Information Systems.
Vol. 1691,
Issue. ,
p.
288.
Aagaard, Mark D.
Jones, Robert B.
and
Seger, Carl-Johan H.
1999.
Theorem Proving in Higher Order Logics.
Vol. 1690,
Issue. ,
p.
323.
Ogawa, Mizuhito
1999.
Functional and Logic Programming.
Vol. 1722,
Issue. ,
p.
131.
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.
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.
Boulton, Richard J.
and
Slind, Konrad
2000.
Computational Logic — CL 2000.
Vol. 1861,
Issue. ,
p.
629.
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.
Slind, Konrad
2000.
Theorem Proving in Higher Order Logics.
Vol. 1869,
Issue. ,
p.
498.