Benutzer: Gast  Login
Autor(en):
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire 
Titel:
Reachability Analysis of Communicating Pushdown Systems 
Seitenangaben Beitrag:
267-281 
Herausgeber:
Ong, Luke 
Buchtitel:
Foundations of Software Science and Computational Structures 
Band / Teilband / Volume:
6014 
Verlag / Institution:
Springer Berlin Heidelberg 
Jahr:
2010 
Print-ISBN:
978-3-642-12031-2 
Serientitel:
Lecture Notes in Computer Science