You have Guest access.
Log In
Volume 1 / 1997 - Volume 14 / 2012
305-318
Regular Contribution
Synthesis and stochastic assessment of cost-optimal schedules
Angelika Mader, Henrik Bohnenkamp, Yaroslav S. Usenko, David N. Jansen and Johann Hurink, et al.
319-335
Regular Paper
Exploiting resolution proofs to speed up LTL vacuity detection for BMC
Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel and Marsha Chechik
337-352
Data decision diagrams for Promela systems analysis
Vincent Beaudenon, Emmanuelle Encrenaz and Sami Taktak
353-372
MontiCore: a framework for compositional development of domain specific languages
Holger Krahn, Bernhard Rumpe and Steven Völkel
373-389
Data-abstraction refinement: a game semantic approach
Adam Bakewell, Aleksandar Dimovski, Dan R. Ghica and Ranko Lazić
391-403
Oris: a tool for modeling, verification and evaluation of real-time systems
Giacomo Bucci, Laura Carnevali, Lorenzo Ridi and Enrico Vicario
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info