( en | de | ru )

 

Disambiguierung von "Fredlund, Lars-Åke"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Static Partial Order Reduction for Probabilistic Concurrent Systems.

, , , und . QEST, Seite 104-113. IEEE Computer Society, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Julian Åkerman

Johan Åkesson

°Ake Örström

°Ake Fant

°Ake Svahn

 

Weitere Publikationen von Autoren mit dem selben Namen

Functional Testing of Java Programs., und . TFP, Volume 9547 von Lecture Notes in Computer Science, Seite 40-59. Springer, (2015)Implementing a multiagent negotiation protocol in Erlang., , und . Erlang Workshop, Seite 69-74. ACM, (2010)Model Checking of Multi-Applet JavaCard Applications., , und . CARDIS, Seite 87-96. USENIX, (2002)Formalising and Prototyping a Concurrent Object-Based Language., , und . LOMAPS, Volume 1192 von Lecture Notes in Computer Science, Seite 116-125. Springer, (1996)Execution and Verification of UML State Machines with Erlang., , , und . SEFM, Volume 8702 von Lecture Notes in Computer Science, Seite 284-289. Springer, (2014)Executable contracts for Elixir., , , , und . J. Log. Algebraic Methods Program., (2025)Pitfalls of Jason Concurrency., , und . EMAS@AAMAS, Volume 11375 von Lecture Notes in Computer Science, Seite 19-33. Springer, (2018)Verification of Language Based Fault-Tolerance., und . EUROCAST, Volume 3643 von Lecture Notes in Computer Science, Seite 140-149. Springer, (2005)Automatic Grading of Programming Exercises using Property-Based Testing., , und . ITiCSE, Seite 47-52. ACM, (2016)Specification and Validation of a Simple Overtaking Protokol using LOTOS., , und . FORTE, Volume C-2 von IFIP Transactions, Seite 377-392. North-Holland, (1991)