You can create your own research profile, claim your publications, connect with other researchers and share millions of research resources. and enjoy our great features for free.
Keywords: theoretical computer sciencelogicformal methods
URL: http://www.informatik.uni-hamburg.de/TGI/events/pn2012/pn2012.shtml
| Deadline | Tue, 10 Jan 2012 |