APA (7th ed.) Citation

Bäumler, S. (2010). Modulares Beweisen temporallogischer Eigenschaften paralleler Programme.

Chicago Style (17th ed.) Citation

Bäumler, Simon. Modulares Beweisen Temporallogischer Eigenschaften Paralleler Programme. 2010.

MLA (9th ed.) Citation

Bäumler, Simon. Modulares Beweisen Temporallogischer Eigenschaften Paralleler Programme. 2010.

Warning: These citations may not always be 100% accurate.