Normal view
MARC view
- Jacobs, Swen
Jacobs, Swen (Nombre personal)
Decidability of parameterized verification, 2015, via WWW, Nov. 20, 2015: PDF title page (Swen Jacobs; Graz University of Technology, Austria, Saarland University, Saarbrücken, Germany)