Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.):
Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings.
Lecture Notes in Computer Science 1755 Springer 2000, ISBN 3-540-67102-1 BibTeX
@proceedings{DBLP:conf/ershov/1999,
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Perspectives of System Informatics, Third International Andrei
Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk,
Russia, July 6-9, 1999, Proceedings},
booktitle = {Ershov Memorial Conference},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1755},
year = {2000},
isbn = {3-540-67102-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Algebraic Specifications
Specifications with States
Partial Evaluation and Supercompilation
Concurrency and Parallelism
Logic and Processes
Languages and Software
Database Programming
Object-Oriented Programming
Constraint Programming
Model & Program Checking
- Klaus Schneider, Viktor K. Sabelfeld:
Introducing Mutual Exclusion in Esterel.
445-459
Electronic Edition (Springer LINK) BibTeX
- Richard J. Anderson, Paul Beame, William Chan, David Notkin:
Experiences with the Application of Symbolic Model Checking to the Analysis of Software Specifications.
460-469
Electronic Edition (Springer LINK) BibTeX
- Axel Dold, Vincent Vialard:
Formal Verification of a Compiler Back-End Generic Checker Program.
470-480
Electronic Edition (Springer LINK) BibTeX
- Andreas Heberle, Thilo Gaul, Wolfgang Goerigk, Gerhard Goos, Wolf Zimmermann:
Construction of Verified Compiler Front-Ends with Program-Checking.
481-492
Electronic Edition (Springer LINK) BibTeX
- Claudio de la Riva, Javier Tuya, José Ramón de Diego:
Translating SA/RT Models to Synchronous Reactive Systems: An Approximation to Modular Verification Using the SMV Model Checker.
493-502
Electronic Edition (Springer LINK) BibTeX
Artificial Intelligence
Copyright © Sat May 16 23:10:34 2009
by Michael Ley (ley@uni-trier.de)