Copyright / Impressum
This is the home page of André Platzer, located at http://symbolaris.com/, at http://symbolaris.org/, at http://symbolaris.net/, and at http://www.cs.cmu.edu/~aplatzer/. You can reach this page from other URLs including other domain names. The contents of these web pages are Copyright © 1996-2014 André Platzer. Author's versions of papers are posted with permission of the publisher for your personal use. Not for redistribution or commercial purpose.
Computer Science Department
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
|Phone:||+1 (412) 268-1558|
|Fax:||+1 (412) 268-5576|
Please note that some of the links on this home page refer to sites outside of this web page or outside this domain. I am not responsible for the contents of external sites.
Some material on this web page is based upon work supported by funding agencies under several Grant Numbers. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the funding agencies.
A number of tools that are being made available on this web page use the Java Virtual Machine. They need Java to be installed on your computer. Some of the tools use Java WebStart to enable you to run the tools locally on your computer with automatic updating mechanisms in place. A few of the tools are made available as Java Applets, which need a Java Plug-in installed and enabled in your browser.