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.
Didrich, Klaus
Grieskamp, Wolfgang
Maeder, Christian
and
Pepper, Peter
1998.
Implementation of Functional Languages.
Vol. 1467,
Issue. ,
p.
322.
Kuusela, J.
Maccari, A.
and
Jianli Xu
1998.
Architectural modeling in industry-an experience report.
p.
512.
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.
Kröger, Joachim
Illner, Regina
Rost, Steffen
and
Heuer, Andreas
1999.
Advances in Databases and Information Systems.
Vol. 1691,
Issue. ,
p.
288.
Benton, Nick
Kennedy, Andrew
and
Russell, George
1999.
Compiling standard ML to Java bytecodes.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 1,
p.
129.
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.
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.
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.
Pucella, Riccardo
2000.
Modular Programming Languages.
Vol. 1897,
Issue. ,
p.
104.
Ozols, Maris A.
Henderson, Marie
Liu, Chuchang
and
Cant, Tony
2000.
Information Security and Privacy.
Vol. 1841,
Issue. ,
p.
206.
Slind, Konrad
2000.
Theorem Proving in Higher Order Logics.
Vol. 1869,
Issue. ,
p.
498.
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.