Towards Automatic Verification of Ladder Logic Programs

Bohumir Zoubek, J-M Roussel, Marta Kwiatkowska

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2003
Event	IMACS Multiconference on Computational Engineering in Systems Applications (CESA) - Duration: 1 Jan 2003 → …

Conference	IMACS Multiconference on Computational Engineering in Systems Applications (CESA)
Period	1/01/03 → …

Cite this

@conference{17c07980a1a54074af2de7f578414d28,

title = "Towards Automatic Verification of Ladder Logic Programs",

author = "Bohumir Zoubek and J-M Roussel and Marta Kwiatkowska",

year = "2003",

month = jan,

day = "1",

language = "English",

note = "IMACS Multiconference on Computational Engineering in Systems Applications (CESA) ; Conference date: 01-01-2003",

}