FST TCS 2001: Foundations of Software Technology and Theoretical Computer Sience
Automated Reasoning. First International Joint Conference (IJCAR'01), Siena, Italy, June 18--23, 2001, Proceedings
This ontology contains information detailing publications held by The School of Electronics and Computer Science, University of Southampton
Publication export from The School of Electronics and Computer Science, University of Southampton
Formal Analysis for Dependability Properties: the Time-Triggered Architecture Example
Proceedings of the 6th European Conference on Planning (ECP-01)
Proc. of the Tenth European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2000)
From Abstract Crisis to Concrete Relief -- A Preliminary Report on Combining State Abstraction and HTN Planning
A Mechanically Verified Compiling Specification for a Lisp Compiler
8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001)
KB-Vision: A Tool for Graphical Manipulation and Visualization of Domain Models