Publikationer
(293)- In press
A Modal Specification Theory for Components with Data
Publikation: Forskning - peer review › Konferenceartikel i proceeding
- Udgivet
Action Investment Energy Games
Publikation: Forskning - peer review › Konferenceartikel i proceeding
- In press
On-the-Fly Exact Computation of Bisimilarity Distances
Publikation: Forskning - peer review › Konferenceartikel i proceeding
Forskningsprojekter
(20)Mest anvendte tidsskrifter
Lecture Notes in Computer Science
ISSNs: 0302-9743, 0302-8743, 1865-0929
Springer, Tyskland
Central database
Tidsskrift: Bogserie
Electronic Proceedings in Theoretical Computer Science
ISSNs: 2075-2180
Open Publishing Association, Australien
Central database
Tidsskrift
International Journal on Software Tools for Technology Transfer
ISSNs: 1433-2779, 0945-8115
Springer, Tyskland
Central database
Tidsskrift
Aktiviteter
(23)Dagstuhl workshop : Run-time verification
Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
SOFSEM'07 : 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track
Aktivitet: Konference/workshop/kursus/seminar › Organisation og deltagelse i konference
ARTIST2
Aktivitet: Foredrag og mundtlige bidrag
Presse
(32)Mest anvendte forlag
Seneste aktiviteter og konferencer
Indlæser lokationer...
ID: 6999