This book uses a variety of applications to illustrate a modeling method that helps practitioners...

Niob, Titan und Aluminium zulegiert werden.

This book constitutes the refereed proceedings of the 6th International Conference on Abstract St...

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous St...

This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.It ac...

Regular Research Articles.- Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduc...

This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his...