h1

h2

h3

h4

h5
h6

001     443854
005     20241106091413.0
024 7 _ |2 DOI
|a 10.3182/20140514-3-FR-4046.00065
024 7 _ |2 HSB
|a 999910361864
024 7 _ |2 SCOPUS
|a SCOPUS:2-s2.0-84945977879
037 _ _ |a RWTH-CONV-205968
041 _ _ |a English
100 1 _ |0 P:(DE-82)006907
|a Biallas, Sebastian
|b 0
|e Author
111 2 _ |a Discrete Event Systems : [12th International Workshop on Discrete Event Systems]
|c Cachan
|d 2014-05-14 - 2014-05-16
|w France
245 _ _ |a Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code
|h online, print
260 _ _ |a Cachan, France
|b IFAC
|c 2014
295 1 0 |a Discrete Event Systems : [Proc. Proceedings of the 12th International Workshop on Discrete Event Systems, Cachan, France, 2014] / Conference Editor: Lesage, Jean-Jacques, Faure, Jean-Marc, Cury, Jose E. R., Lennartson, Bengt
300 _ _ |a 400-405
336 7 _ |0 PUB:(DE-HGF)8
|2 PUB:(DE-HGF)
|a Contribution to a conference proceedings
|b contrib
|m contrib
336 7 _ |0 33
|2 EndNote
|a Conference Paper
336 7 _ |2 ORCID
|a CONFERENCE_PAPER
336 7 _ |2 DataCite
|a Output Types/Conference Paper
336 7 _ |2 DRIVER
|a conferenceObject
336 7 _ |2 BibTeX
|a INPROCEEDINGS
591 _ _ |a Germany
700 1 _ |0 P:(DE-82)IDM06137
|a Kowalewski, Stefan
|b 1
|e Author
700 1 _ |0 P:(DE-82)125366
|a Stattelmann, Stefan
|b 2
|e Author
700 1 _ |0 P:(DE-82)010665
|a Schlich, Bastian
|b 3
|e Author
909 C O |o oai:publications.rwth-aachen.de:443854
|p VDB
915 1 _ |0 StatID:(DE-HGF)0031
|2 StatID
|a Peer reviewed article
920 1 _ |0 I:(DE-82)120000_20140620
|k 120000
|l Fachgruppe Informatik
|x 0
920 1 _ |0 I:(DE-82)122810_20140620
|k 122810
|l Lehrstuhl für Informatik 11 (Software für eingebettete Systeme)
|x 1
970 _ _ |a hsb999910361864
980 _ _ |a contrib
980 _ _ |a I:(DE-82)120000_20140620
980 _ _ |a I:(DE-82)122810_20140620
980 _ _ |a VDB
980 _ _ |a UNRESTRICTED
980 _ _ |a ConvertedRecord

LibraryCollectionCLSMajorCLSMinorLanguageAuthor
Marc 21