|
Search the dblp DataBase
Ben Lukoschus:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg
Verification of PLC Programs Given as Sequential Function Charts. [Citation Graph (0, 0)][DBLP] SoftSpez Final Report, 2004, pp:517-540 [Conf]
- Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell
A Unifying Semantics for Sequential Function Charts. [Citation Graph (0, 0)][DBLP] SoftSpez Final Report, 2004, pp:400-418 [Conf]
- Sébastien Bornot, Ralf Huuck, Ben Lukoschus
Statische Analysetechniken für speicherprogrammierbare Steuerungen. [Citation Graph (0, 0)][DBLP] FBT, 2000, pp:175-181 [Conf]
- Sébastien Bornot, Ralf Huuck, Ben Lukoschus
Verification of Sequential Function Charts Using SMV. [Citation Graph (0, 0)][DBLP] PDPTA, 2000, pp:- [Conf]
Search in 0.001secs, Finished in 0.001secs
|