Alexander Asteroth (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2

Alexander Asteroth, Christel Baier, Ulrich Aßmann: Model Checking with Formula-Dependent Abstract Models. CAV 2001: 155-168

Selection of 1 from 2 records - Alexander Asteroth has 5 coauthors